7.88/10.17	unsat
