; search time: 0.32
; plan length: 21
(up f0 f5)
(stop f5)
(down f5 f2)
(stop f2)
(up f2 f7)
(stop f7)
(up f7 f12)
(stop f12)
(down f12 f0)
(stop f0)
(up f0 f4)
(stop f4)
(up f4 f8)
(stop f8)
(down f8 f1)
(stop f1)
(up f1 f3)
(stop f3)
(up f3 f11)
(stop f11)
(solve-goal)
