; search time: 4.39
; plan length: 12
(board person5 plane1 city2)
(fly plane1 city2 city0 fl5 fl4)
(board person1 plane1 city0)
(board person2 plane1 city0)
(fly plane1 city0 city1 fl4 fl3)
(debark person2 plane1 city1)
(board person4 plane1 city1)
(debark person5 plane1 city1)
(fly plane1 city1 city3 fl3 fl2)
(debark person1 plane1 city3)
(debark person4 plane1 city3)
(solve-goal)
