; search time: 2.84
; task is unsolvable
