7.67/9.87	unsat
