9.38/12.48	unsat
