; total time: 2.15
; task is unsolvable
