; total time: 30.72
; task is unsolvable
