0.00/6.12	unsat
