; search time: 22.64
; task is unsolvable
