8.67/9.65	unsat
