; search time: 25.47
; task is unsolvable
