6.67/7.67	unsat
