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