2.61/4.17	unsat
