; search time: 1.88
; task is unsolvable
