有個與數獨很類似的遊戲稱為「乘法獨」，其遊戲規則為：給定三個由英文字母大寫與數字組合成的字串 $s_1,s_2,s_3$ 作為題目，玩家要在大寫英文字母的位置填入數字 $k_i$（$1\le k_i \le 9$），同一種英文字母要填入相同的數字，但不同的英文字母可以填入相同的數字。將每個英文字母都取代成數字後，字串會轉換成數字 $x_1,x_2,x_3$（為了讓乘法獨簡單一些，$x_1,x_2$ 的位數和不會超過 $8$），若可以找到一種取代方式使得 $x_1 \times x_2=x_3$，則玩家就成功解出乘法獨。

現在，請你撰寫一個程式以解出乘法獨。