; total time: 5.87
; plan length: 55
(board person12 plane5 city5)
(fly plane5 city5 city4 fl1 fl0)
(debark person12 plane5 city4)
(fly plane2 city3 city8 fl4 fl3)
(board person1 plane2 city8)
(fly plane2 city8 city1 fl3 fl2)
(debark person1 plane2 city1)
(board person15 plane2 city1)
(fly plane2 city1 city6 fl2 fl1)
(debark person15 plane2 city6)
(fly plane2 city6 city10 fl1 fl0)
(board person6 plane2 city10)
(refuel plane2 city10 fl0 fl1)
(fly plane2 city10 city11 fl1 fl0)
(debark person6 plane2 city11)
(board person7 plane2 city11)
(refuel plane2 city11 fl0 fl1)
(fly plane2 city11 city2 fl1 fl0)
(debark person7 plane2 city2)
(board person11 plane5 city4)
(refuel plane5 city4 fl0 fl1)
(fly plane5 city4 city6 fl1 fl0)
(debark person11 plane5 city6)
(fly plane3 city2 city8 fl1 fl0)
(board person13 plane3 city8)
(refuel plane3 city8 fl0 fl1)
(fly plane3 city8 city11 fl1 fl0)
(debark person13 plane3 city11)
(board person10 plane3 city11)
(refuel plane3 city11 fl0 fl1)
(fly plane3 city11 city9 fl1 fl0)
(debark person10 plane3 city9)
(fly plane4 city9 city8 fl1 fl0)
(board person8 plane4 city8)
(refuel plane4 city8 fl0 fl1)
(fly plane4 city8 city11 fl1 fl0)
(debark person8 plane4 city11)
(refuel plane1 city0 fl0 fl1)
(fly plane1 city0 city10 fl1 fl0)
(board person2 plane1 city10)
(refuel plane1 city10 fl0 fl1)
(fly plane1 city10 city4 fl1 fl0)
(debark person2 plane1 city4)
(refuel plane1 city4 fl0 fl1)
(fly plane1 city4 city5 fl1 fl0)
(board person4 plane1 city5)
(refuel plane1 city5 fl0 fl1)
(fly plane1 city5 city6 fl1 fl0)
(debark person4 plane1 city6)
(refuel plane1 city6 fl0 fl1)
(fly plane1 city6 city1 fl1 fl0)
(board person5 plane1 city1)
(refuel plane1 city1 fl0 fl1)
(fly plane1 city1 city8 fl1 fl0)
(debark person5 plane1 city8)
