8.88/10.17	unsat
