; search time: 87.48
; task is unsolvable
