AT_abc452_a.Gothec Editorial

The following five days are called the five seasonal festivals (gosekku).

• January $\color{red}{\mathbf{7}}$
• March $3$
• May $5$
• July $7$
• September $9$

If month $M$, day $D$ is one of the five seasonal festivals, output Yes; otherwise, output No.

以下五天被称为“五节句”（gosekku）：

• 1月$\color{red}{\mathbf{7}}$日
• 3月$3$日
• 5月$5$日
• 7月$7$日
• 9月$9$日

如果月份 $M$、日期 $D$ 是五节句之一，则输出 Yes；否则输出 No。

The input is given from Standard Input in the following format:

$M$ $D$

输入从标准输入中按以下格式给出：

$M$ $D$

If month $M$, day $D$ is one of the five seasonal festivals, output Yes; otherwise, output No.

如果月份 $M$、日期 $D$ 是五个节气节日之一，则输出 Yes；否则输出 No。

Sample 1 Explanation:
March $3$ is one of the five seasonal festivals, so output Yes.

Sample 2 Explanation:
January $1$ is not one of the five seasonal festivals, so output No.

Constraints

• $M$ and $D$ are integers.
• Month $M$, day $D$ is a valid date in a leap year in the Gregorian calendar.

样例 1 解释：
3 月 3 日是五个节气节日之一，因此输出 Yes。

样例 2 解释：
1 月 1 日不是五个节气节日之一，因此输出 No。

限制条件

• $M$ 和 $D$ 均为整数。
• 月份 $M$、日期 $D$ 是公历闰年中的一个有效日期。