#include <stdio.h>
#include <stdlib.h>
int main()
{
    int m,d;
    scanf("%d%d",&m,&d);
    
    if(m==6&&d==12)
    {
        printf("Yes");
    }
    else
    {
        printf("No");
    }
    return 0;
}//remember  The letters big or small