6.58/6.70	unsat
