74.91/79.10	unsat
