강태공이 세월을 낚듯
Time Limit: 1 SecMemory Limit: 512 MiB

문제

정수 가 있을 때, 서로 다른 정수 ( , 그리고 for .)에 대해, 이고, 를 만족하면 를 사랑하는 수라고 하자.

정수 가 주어질 때, 를 사랑하는 수인지 판별해보자.

입력

A B

출력

를 사랑하는 수라면 YES, 아니면 NO를 출력하라.

Example Input 1
1 2
Example Output 1
NO
Language-Specific Restrictions