题目描述

贵州历史悠久，文化底蕴深厚。2024年，随着第三批省级历史文化名城名单公布，贵州共有 $12$ 座国家级或省级历史文化名城：

• 国家级历史文化名城：遵义（zun yi）、镇远（zhen yuan）；
• 省级历史文化名城：福泉（fu quan）、安顺（an shun）、织金（zhi jin）、思南（si nan）、安龙（an long）、大方（da fang）、普定（pu ding）、黎平（li ping）、石阡（shi qian）、贞丰（zhen feng）。

给定一个用小写拼音书写的地名，请判断它是否属于上述省级历史文化名城。本题中，国家级历史文化名城不算作省级历史文化名城。

输入格式

每个测试文件只包含一组测试数据。

第一行包含两个字符串 $a$ 和 $b$ ($1 \le |a|, |b| \le 6$)，表示地名的拼音。每个字符串由小写英文字母组成。两个字符串之间恰好由一个空格分隔。

输出格式

若该地名属于省级历史文化名城，输出 Yes；否则，输出 No。

样例输入 1

zun yi

样例输出 1

No

样例输入 2

zhi jin

样例输出 2

Yes

样例解释

第一个样例中，zun yi 指遵义，它是国家级历史文化名城。本题只询问省级历史文化名城，因此答案为 No。

第二个样例中，zhi jin 指织金，它是省级历史文化名城，因此答案为 Yes。