7.47/7.70	unsat
