7.07/7.17	unsat
