IOIOI Solver (v16, most recent one?)