; search time: 0.51
; task is unsolvable
