6.85/7.17	unsat
