79.04/79.89	unsat
