(define (problem art5b) (:domain art) (:init (p5)) (:goal (AND (g))) (:length (:serial 5) (:parallel 5)))