A. Is It Rated??
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output
Input

The only line contains two integers, $$$m$$$ and $$$d$$$ ($$$1 \leq m \leq 12$$$, $$$1 \leq d \leq 31$$$).

Output

Output "YES" or "NO" (without quotes) for each test case.

You can print each letter in any case. For example, yes, Yes, YeS will all be recognized as a positive answer.

Examples
Input
1 1
Output
NO
Input
2 31
Output
NO