6.67/6.87	unsat
