6.67/7.61	unsat
