(define (problem strips-mprime-y-4)
   (:domain mystery-prime-strips)
   (:objects lemon potato muffin hamburger pepper melon lobster
             wurst excitement satiety intoxication rest learning grief
             dread abrasion hangover depression boils anger sciatica
             loneliness prostatitis angina dread-2 laceration anxiety
             jealousy anger-8 prostatitis-3 laceration-4 grief-1
             loneliness-6 depression-7 sciatica-5 alsace surrey quebec uranus
             earth mars saturn)
   (:init (food lemon)
          (food potato)
          (food muffin)
          (food hamburger)
          (food pepper)
          (food melon)
          (food lobster)
          (food wurst)
          (pleasure excitement)
          (pleasure satiety)
          (pleasure intoxication)
          (pleasure rest)
          (pleasure learning)
          (pain grief)
          (pain dread)
          (pain abrasion)
          (pain hangover)
          (pain depression)
          (pain boils)
          (pain anger)
          (pain sciatica)
          (pain loneliness)
          (pain prostatitis)
          (pain angina)
          (pain dread-2)
          (pain laceration)
          (pain anxiety)
          (pain jealousy)
          (pain anger-8)
          (pain prostatitis-3)
          (pain laceration-4)
          (pain grief-1)
          (pain loneliness-6)
          (pain depression-7)
          (pain sciatica-5)
          (province alsace)
          (province surrey)
          (province quebec)
          (planet uranus)
          (planet earth)
          (planet mars)
          (planet saturn)
          (craves depression-7 lobster)
          (locale muffin alsace)
          (locale hamburger surrey)
          (eats pepper wurst)
          (craves grief lemon)
          (eats lemon hamburger)
          (craves satiety muffin)
          (locale pepper alsace)
          (craves laceration-4 melon)
          (eats lemon melon)
          (eats pepper muffin)
          (locale lemon quebec)
          (harmony learning saturn)
          (craves sciatica muffin)
          (craves angina hamburger)
          (craves excitement lemon)
          (eats potato muffin)
          (craves intoxication hamburger)
          (eats potato hamburger)
          (eats melon lobster)
          (locale lobster surrey)
          (eats melon muffin)
          (eats muffin lemon)
          (craves rest pepper)
          (eats lobster lemon)
          (craves dread-2 pepper)
          (craves prostatitis muffin)
          (craves depression potato)
          (eats lemon lobster)
          (eats lobster melon)
          (craves anxiety pepper)
          (locale potato quebec)
          (craves jealousy pepper)
          (eats hamburger lemon)
          (craves laceration pepper)
          (eats muffin melon)
          (eats lemon wurst)
          (eats hamburger potato)
          (eats wurst pepper)
          (craves loneliness muffin)
          (eats lemon muffin)
          (craves prostatitis-3 melon)
          (orbits uranus earth)
          (eats potato wurst)
          (attacks alsace surrey)
          (eats muffin pepper)
          (craves anger-8 melon)
          (harmony excitement saturn)
          (eats melon lemon)
          (harmony satiety earth)
          (craves hangover potato)
          (eats wurst lemon)
          (craves sciatica-5 wurst)
          (attacks surrey quebec)
          (orbits earth mars)
          (craves dread lemon)
          (craves boils potato)
          (craves abrasion lemon)
          (craves anger muffin)
          (craves loneliness-6 lobster)
          (eats wurst potato)
          (orbits mars saturn)
          (craves learning wurst)
          (locale wurst surrey)
          (harmony intoxication mars)
          (harmony rest saturn)
          (locale melon alsace)
          (eats muffin potato)
          (craves grief-1 melon))
   (:goal (and (craves angina lobster))))