; total time: 4.00
; task is unsolvable
