题目描述

日本有“五节句”，对应的日期如下：

• 1 月 7 日
• 3 月 3 日
• 5 月 5 日
• 7 月 7 日
• 9 月 9 日

给定一个日期（月 $M$，日 $D$），判断它是否是上述五个节日之一。
如果是，输出 Yes；否则，输出 No。

输入格式

一行，两个整数 $M$ 和 $D$，用空格隔开。

输出格式

如果 $(M, D)$ 是五节句之一，输出 Yes；否则输出 No。

样例输入 #1

3 3

样例输出 #1

Yes

样例输入 #2

1 1

样例输出 #2

No

样例输入 #3

4 4

样例输出 #3

No

样例输入 #4

11 7

样例输出 #4

No

说明

• 3 月 3 日是五节句之一，因此样例 1 输出 Yes。
• 1 月 1 日、4 月 4 日、11 月 7 日均不在五节句列表中，故输出 No。

数据范围

• $M$ 和 $D$ 均为整数；
• 输入的日期 $(M, D)$ 在公历闰年中是合法日期（即无需验证日期是否真实存在，只需匹配节日即可）。