欢乐赛#53 T1

#include<cstdio>
int main(){
    int a,b;
    scanf("%d %d",&a,&b);
    if((a>=1 and a<=5)and(b>7))printf("YES");
    else printf("NO");
    return 0;
}