Ninth Dedekind number discovered: Scientists solve long-know