; search time: 0.25
; task is unsolvable
