; total time: 3.00
; task is unsolvable
