2.43/2.48	unsat
