(define (problem ujam-08_07)
  (:domain ujam)
  (:objects p1 p2 p3 p4 p5 p6 p7 p8 h1 h2 h3 h4 h5 h6 h7 s1 s2 s3 s4 s5 s6 s7 red blue)
  (:init 
   (next red blue)
   (visible blue)
   (out p1)
   (out p2)	
   (out p3)
   (out p4)	
   (out p5)
   (out p6)	
   (out p7)
   (out p8)
   (color p1 red)
   (color p2 red)
   (color p3 red)
   (color p4 red)
   (color p5 red)
   (color p6 red)
   (color p7 red)
   (color p8 red)
   (remaining s1)
   (remaining s2)
   (remaining s3)
   (remaining s4)
   (remaining s5)
   (remaining s6)
   (remaining s7)
   (empty h1)
   (empty h2)
   (empty h3)
   (empty h4)
   (empty h5)
   (empty h6)
   (empty h7)
  )
  (:goal (and (killed p1)
	      (killed p2)
	      (killed p3)
	      (killed p4)
	      (killed p5)
	      (killed p6)
	      (killed p7)
	      (killed p8)
	      )
  )
)