; search time: 0.87
; plan length: 23
(up f0 f9)
(stop f9)
(up f9 f13)
(stop f13)
(down f13 f3)
(stop f3)
(up f3 f7)
(stop f7)
(down f7 f6)
(stop f6)
(up f6 f10)
(stop f10)
(up f10 f12)
(stop f12)
(down f12 f1)
(stop f1)
(up f1 f15)
(stop f15)
(down f15 f2)
(stop f2)
(up f2 f11)
(stop f11)
(solve-goal)
