6.67/6.70	unsat
