; search time: 0.04
; task is unsolvable
