6.67/8.82	unsat
