7.08/7.17	unsat
