2.38/2.48	unsat
