복면산?!

복면산은 계산식의 각 숫자를 문자로 치환한 뒤, 각 문자가 어떤 숫자를 나타내는지 맞추는 수학 퍼즐이다.

대표적으로 $SEND+MORE=MONEY$가 있다.

  SEND
+ MORE
------
 MONEY

$S=9$, $E=5$, $N=6$, $D=7$, $M=1$, $O=0$, $R=8$, $Y=2$로 두면 식이 성립한다.

  9567
+ 1085
------
 10652

세 단어로 이루어진 복면산 $A+B=C$가 주어질 때, 식을 성립시키는 숫자 대응이 존재하는지 판정하시오.

같은 문자는 항상 같은 숫자에 대응되어야 하고, 서로 다른 문자는 서로 다른 숫자를 나타낸다. 수는 $0$으로 시작할 수 있다.

세 단어 $A$, $B$, $C$가 공백으로 구분되어 주어진다. 이는 첫 번째 단어에 두 번째 단어를 더한 결과가 세 번째 단어임을 의미한다.

각 단어는 공백 없이 알파벳 대문자로만 이루어져 있으며, 각 단어의 길이는 $18$자를 넘지 않는다.

계산식을 성립시키는 대응이 존재하면 한 줄에 $YES$를, 그렇지 않으면 한 줄에 $NO$를 출력한다.

해답은 여러 개 존재할 수 있으며, 존재 여부만을 판단한다. 입력 $SUN$ $FUN$ $SWIM$에 대해서는 $067+867=0934$와 $167+867=1034$를 포함하여 $49$개의 해답이 존재한다.