8.76/10.17	unsat
