80.73/83.10	unsat
