8.97/9.69	unsat
