0.00/2.42	unsat
