Guizhou에는 오랜 역사와 풍부한 문화유산을 지닌 도시가 많습니다. 2024년에 세 번째 성급 역사 도시 목록이 발표된 후, Guizhou에는 다음과 같은 국가급 또는 성급 역사 도시 $12$개가 있습니다.

• 국가급 역사 도시: zun yi (遵义), zhen yuan (镇远);
• 성급 역사 도시: an shun (安顺), zhi jin (织金), da fang (大方), shi qian (石阡), li ping (黎平), fu quan (福泉), an long (安龙), pu ding (普定), si nan (思南), zhen feng (贞丰).

소문자 병음으로 적힌 지명이 주어졌을 때, 위의 성급 역사 도시 목록에 포함되는지 판단하세요. 이 문제에서는 국가급 역사 도시를 성급 역사 도시로 간주하지 않습니다.

입력

각 테스트 파일에는 테스트 케이스가 하나만 있습니다.

첫 번째 줄에는 지명의 병음을 나타내는 두 문자열 $a$와 $b$ ($1 \le |a|, |b| \le 6$)가 주어집니다. 각 문자열은 영어 소문자로 이루어져 있습니다. 두 문자열은 정확히 하나의 공백으로 구분됩니다.

출력

지명이 성급 역사 도시 목록에 있으면 Yes를 출력하세요. 그렇지 않으면 No를 출력하세요.

예제

입력 1

zun yi

출력 1

No

입력 2

zhi jin

출력 2

Yes

참고

첫 번째 예제에서 zun yi는 국가급 역사 도시인 Zunyi (遵义)를 나타냅니다. 이 문제에서는 성급 역사 도시만을 물으므로, 답은 No입니다.

두 번째 예제에서 zhi jin은 성급 역사 도시인 Zhijin (织金)을 나타내므로, 답은 Yes입니다.