; search time: 0.33
; task is unsolvable
