; search time: 1.76
; plan length: 21
(up f0 f3)
(stop f3)
(up f3 f6)
(stop f6)
(up f6 f10)
(stop f10)
(up f10 f12)
(stop f12)
(down f12 f2)
(stop f2)
(up f2 f11)
(stop f11)
(down f11 f4)
(stop f4)
(up f4 f8)
(stop f8)
(down f8 f7)
(stop f7)
(up f7 f13)
(stop f13)
(solve-goal)
