2.48/4.14	unsat
