; search time: 1.52
; task is unsolvable
