; search time: 0.06
; task is unsolvable
