12.37/12.48	unsat
