#include <bits/stdc++.h>

using namespace std;

void fast_io() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
}

int main() {
    fast_io();
    int m, d, k;
    cin >> m >> d >> k;
    int days[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
    string s = "";
    for (int i = 0; i < 7; i++) {
        s += to_string(m);
        s += to_string(d);
        if (m < 10) s += "0";
        if (d < 10) s += "0";
        d++;
        if (d > days[m]) {
            d = 1;
            m++;
            if (m > 12) m = 1;
        }
    }
    sort(s.begin(), s.end());
    s.erase(unique(s.begin(), s.end()), s.end());
    if (s.size() >= k) {
        cout << "Yes\n";
    } else {
        cout << "No\n";
    }
}