83.62/85.10	unsat
