6.72/7.70	unsat
