79.21/79.70	unsat
