2.48/4.20	unsat
