A - Gothec 解説 /

実行時間制限: 2 sec / メモリ制限: 1024 MiB

配点 : 100

問題文

以下の 5 つの日を五節句と呼びます。

  • 1\color{red}{\mathbf{7}}
  • 33
  • 55
  • 77
  • 99

MD 日が五節句に含まれるならば Yes を、含まれないならば No を出力してください。

制約

  • M, D は整数
  • MD 日はグレゴリオ暦における閏年 (うるうどし) の日付として正しい。

入力

入力は以下の形式で標準入力から与えられる。

M D

出力

MD 日が五節句に含まれるならば Yes を、含まれないならば No を出力せよ。


入力例 1

3 3

出力例 1

Yes

33 日は五節句に含まれるので、Yes を出力します。


入力例 2

1 1

出力例 2

No

11 日は五節句に含まれないので、No を出力します。


入力例 3

4 4

出力例 3

No

入力例 4

11 7

出力例 4

No

Score : 100 points

Problem Statement

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.

Constraints

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

Input

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

M D

Output

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


Sample Input 1

3 3

Sample Output 1

Yes

March 3 is one of the five seasonal festivals, so output Yes.


Sample Input 2

1 1

Sample Output 2

No

January 1 is not one of the five seasonal festivals, so output No.


Sample Input 3

4 4

Sample Output 3

No

Sample Input 4

11 7

Sample Output 4

No