2.45/2.48	unsat
