2.07/4.29	unsat
