(define (problem strips-mprime-x-5)
   (:domain mystery-prime-strips)
   (:objects broccoli chocolate turkey tuna sweetroll shrimp cherry
             scallop satisfaction excitement intoxication lubricity
             sciatica anxiety grief boils depression abrasion prostatitis
             angina jealousy laceration anger grief-2 dread loneliness
             hangover alsace kentucky goias arizona uranus mercury earth mars)
   (:init (food broccoli)
          (food chocolate)
          (food turkey)
          (food tuna)
          (food sweetroll)
          (food shrimp)
          (food cherry)
          (food scallop)
          (pleasure satisfaction)
          (pleasure excitement)
          (pleasure intoxication)
          (pleasure lubricity)
          (pain sciatica)
          (pain anxiety)
          (pain grief)
          (pain boils)
          (pain depression)
          (pain abrasion)
          (pain prostatitis)
          (pain angina)
          (pain jealousy)
          (pain laceration)
          (pain anger)
          (pain grief-2)
          (pain dread)
          (pain loneliness)
          (pain hangover)
          (province alsace)
          (province kentucky)
          (province goias)
          (province arizona)
          (planet uranus)
          (planet mercury)
          (planet earth)
          (planet mars)
          (eats scallop cherry)
          (craves satisfaction broccoli)
          (harmony excitement mars)
          (craves jealousy shrimp)
          (eats tuna broccoli)
          (eats sweetroll scallop)
          (craves grief broccoli)
          (attacks kentucky goias)
          (craves intoxication tuna)
          (attacks alsace kentucky)
          (eats cherry shrimp)
          (orbits uranus mercury)
          (eats shrimp sweetroll)
          (locale tuna arizona)
          (eats cherry scallop)
          (craves hangover scallop)
          (harmony lubricity earth)
          (craves excitement turkey)
          (craves loneliness scallop)
          (eats broccoli chocolate)
          (craves depression turkey)
          (eats tuna turkey)
          (eats chocolate shrimp)
          (craves lubricity sweetroll)
          (locale cherry kentucky)
          (eats turkey chocolate)
          (attacks goias arizona)
          (eats shrimp cherry)
          (craves dread scallop)
          (craves grief-2 scallop)
          (craves angina shrimp)
          (harmony satisfaction earth)
          (eats chocolate turkey)
          (eats chocolate broccoli)
          (orbits mercury earth)
          (craves laceration shrimp)
          (craves anxiety broccoli)
          (locale scallop alsace)
          (craves prostatitis turkey)
          (craves boils broccoli)
          (locale shrimp kentucky)
          (eats sweetroll shrimp)
          (locale turkey kentucky)
          (locale broccoli arizona)
          (eats broccoli tuna)
          (craves abrasion turkey)
          (locale chocolate goias)
          (eats scallop sweetroll)
          (harmony intoxication earth)
          (eats shrimp chocolate)
          (craves anger cherry)
          (locale sweetroll alsace)
          (craves sciatica broccoli)
          (orbits earth mars)
          (eats turkey tuna))
   (:goal (and (craves loneliness shrimp)
               (craves grief shrimp))))