0.00/0.00	unsat
0.00/0.10	unsat
0.00/0.19	unsat
0.00/0.31	unsat
0.00/0.42	unsat
2.26/2.30	WRONG solver response: got sat, expected unsat
2.26/2.30	EOF