7.69/7.70	unsat
