; search time: 0.01
; plan length: 2
(fly plane1 city0 city1 fl1 fl0)
(solve-goal)
