; total time: 4.02
; task is unsolvable
