(define (problem boxes)
  (:domain boxes-domain)
  (:objects p1 p2 p3)
  (:init (location p1) (location p2)
	 (location p3)
	 (at agent p1)
	 (at box1 p1)
	 (at box2 p1)
	 (at box3 p2)
	 (at box4 p3))
  (:goal (at box1 p3)))