(define (problem ujam-04_03)
  (:domain ujam)
  (:objects p1 p2 p3 p4 h1 h2 h3 s1 s2 s3 red blue)
  (:init 
   (next red blue)
   (visible blue)
   (out p1)
   (out p2)	
   (out p3)
   (out p4)	
   (color p1 red)
   (color p2 red)
   (color p3 red)
   (color p4 red)
   (remaining s1)
   (remaining s2)
   (remaining s3)
   (empty h1)
   (empty h2)
   (empty h3)
  )
  (:goal (and (killed p1)
	      (killed p2)
	      (killed p3)
	      (killed p4)
	      )
  )
)