; search time: 15.44
; plan length: 25
(up f0 f15)
(stop f15)
(down f15 f4)
(stop f4)
(down f4 f2)
(stop f2)
(up f2 f6)
(stop f6)
(down f6 f3)
(stop f3)
(up f3 f11)
(stop f11)
(down f11 f0)
(stop f0)
(up f0 f19)
(stop f19)
(down f19 f10)
(stop f10)
(up f10 f13)
(stop f13)
(up f13 f14)
(stop f14)
(down f14 f5)
(stop f5)
(solve-goal)
