; search time: 0.71
; plan length: 21
(up f0 f3)
(board f3 p2)
(board f3 p4)
(up f3 f5)
(board f5 p0)
(board f5 p3)
(down f5 f0)
(depart f0 p2)
(depart f0 p3)
(up f0 f11)
(depart f11 p0)
(down f11 f8)
(depart f8 p4)
(down f8 f6)
(board f6 p1)
(up f6 f7)
(depart f7 p1)
(board f7 p5)
(down f7 f6)
(depart f6 p5)
(solve-goal)
