#include <bits/stdc++.h>

using namespace std;

void yn (bool f) {
    if (f) std::cout << "Yes" << '\n';
    else std::cout << "No" << '\n';
}

int main()
{
    int m, d;
    cin >> m >> d;
    int x = m * 100 + d;
    bool ans = true;
    if (m <= 0 || m > 12) return -1;
    vector<int> days = {0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
    if (d <= 0 || d > days[m]) return -1;
    for (int i = 2; i < x; ++i) {
        if (x % i == 0) ans = false;
    }
    yn(ans);
}