2.39/2.48	unsat
