Pošalji zapis e-poštom: A Branch-and-Bound approach for tautomer enumeration