8.67/9.69	unsat
