; total time: 7.56
; task is unsolvable
