; total time: 0.91
; task is unsolvable
