(define (problem random-pbl-3-1) (:domain random-domain-3) (:init (S B B) (S C A) (S B C) (R B B) (R B C)) (:goal (and (R C C))))