8.97/9.72	unsat
