( DEFINE ( PROBLEM D1S1-2 ) (:domain D1S1) (:init ( I1 ) ( I2 ) ) (:goal ( AND ( G1 ) ( G2 ) ) ) (:length (:serial 2) (:parallel 2)) )