7.94/8.70	unsat
