/*
Initial configuration:
	A B C
Goal configuration:
	C B A
*/ 
(define (problem blocks3-reverse)
(:objects A B C)
(:init  (on A B) (on B C) (ontable C) 
	(clear A) )
(:goal  (on C B) (on B A) (ontable A) )
/*
(:macro  ((goodTower C) (and (on C B)(on B A)(ontable A)))
	((goodTower B) (and (on B A)(ontable A)))
	((goodTower A) (ontable A)) )
*/
)