(define (problem BW-rand-3)
(:domain blocksworld)
(:objects A B C  - block)
(:init
(handempty)
(ontable A)
(on B A)
(on C B)
(clear C)
)
(:goal
(and
(on B C)
(on C A))
)
)