Ninth Dedekind Number Found by Two Independent Groups