; search time: 1.71
; task is unsolvable
