UVA13170 Verbal arithmetic

现在我们来尝试一种奇怪的数字谜题。给定谜题 $$\overline{ada}\times\overline{byron}=\overline{revived}$$ 这里每个字母对应一个阿拉伯数字，这样我们就可以得解 $$323\times18504=5976792$$ 给出式子，求解。

每个样例是一个数学运算（加或者乘），其中每个数码都是小写英文字母。两个运算符 `+` 或者 `*` 会提供。而后还是以字母表示的等号后的值。数（以字母表示的）和运算符会以空格分开。

对于每组解，程序会将字母替换成对应的数字，相同的字母对应相同的数字，并且运算成立，且解唯一。 不同的字母最多有 $10$ 种，且没有前导 $0$，且所有运算数长度小于等于 $8$。