; search time: 0.14
; task is unsolvable
