2.48/4.13	unsat
