9.75/9.82	unsat
