; search time: 0.19
; task is unsolvable
