6.67/6.75	unsat
