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