81.40/85.07	unsat
