; search time: 13.15
; plan length: 28
(stop f0)
(up f0 f3)
(stop f3)
(up f3 f6)
(stop f6)
(up f6 f12)
(stop f12)
(up f12 f16)
(stop f16)
(down f16 f2)
(stop f2)
(up f2 f7)
(stop f7)
(up f7 f9)
(stop f9)
(down f9 f1)
(stop f1)
(up f1 f10)
(stop f10)
(up f10 f19)
(stop f19)
(down f19 f13)
(stop f13)
(up f13 f17)
(stop f17)
(down f17 f15)
(stop f15)
(solve-goal)
