; search time: 0.21
; task is unsolvable
