#include <stdio.h>
int main()
{
int a,b;
scanf("%d %d",&a,&b);
if(a==2&&b==29)
printf("NO");
else if(a==1||a==3||a==5||a==7||a==8||a==10||a==12)
{
if(b==31)
printf("YES");
else
printf("NO");
}
else if(a==4||a==6||a==9||a==11)
{
if(b==30)
printf("YES");
else
printf("NO");
}
return 0;
}