2.48/4.29	unsat
