/*
Initial configuration:
	C B
	A
	D
Goal configuration:
	A B C D
*/ 
(define (problem blocks4-2)
(:objects C B A D)
(:init  (on C B) (ontable B)
	(ontable A)
	(ontable D) 
	(clear C) (clear A) (clear D) )
(:goal  (on A B) (on B C) (on C D) (ontable D) )
)