6.68/6.70	unsat
