; search time: 0.01
; task is unsolvable
