0.00/10.32	unsat
