8.28/8.70	unsat
