5.61/7.17	unsat
