; search time: 4.06
; plan length: 23
(board f0 p1)
(board f0 p6)
(up f0 f13)
(depart f13 p1)
(board f13 p4)
(down f13 f7)
(board f7 p0)
(board f7 p3)
(down f7 f5)
(depart f5 p0)
(board f5 p5)
(up f5 f12)
(depart f12 p4)
(depart f12 p5)
(down f12 f2)
(depart f2 p3)
(up f2 f8)
(depart f8 p6)
(up f8 f9)
(board f9 p2)
(down f9 f6)
(depart f6 p2)
(solve-goal)
