6.67/9.67	unsat
