; search time: 0.15
; task is unsolvable
