#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using P = pair<ll,ll>;
#define fix(x) fixed << setprecision(x)
#define asc(x) x, vector<x>, greater<x>
#define rep(i, n) for(ll i = 0; i < n; i++)
#define all(x) (x).begin(),(x).end()
template<class T>bool chmin(T&a, const T&b){if(a>b){a=b;return 1;}return 0;}
template<class T>bool chmax(T&a, const T&b){if(a<b){a=b;return 1;}return 0;}
int k;
vector<bool> ok(10,true);
void f(int x){
    k -= ok[x];
    ok[x] = false;
}
int main(){
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    int m,d;
    cin >> m >> d >> k;
    m--; d--;
    int x[12] = {31,28,31,30,31,30,31,31,30,31,30,31};
    rep(i,7){
        f((m+1)%10);
        f((m+1)/10);
        f((d+1)%10);
        f((d+1)/10);
        d++;
        if(d==x[m]){
            d = 0;
            m = (m+1) % 12;
        }
    }
    cout << (k<=0?"Yes\n":"No\n");
    return 0;
}