#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std;
using lint = long long int;
using P = pair<int, int>;
using PL = pair<lint, lint>;
#define FOR(i, begin, end) for(int i=(begin),i##_end_=(end);i<i##_end_;i++)
#define IFOR(i, begin, end) for(int i=(end)-1,i##_begin_=(begin);i>=i##_begin_;i--)
#define REP(i, n) FOR(i,0,n)
#define IREP(i, n) IFOR(i,0,n)
#define ALL(a)  (a).begin(),(a).end()
constexpr int MOD = 1000000007;
constexpr lint B1 = 1532834020;
constexpr lint M1 = 2147482409;
constexpr lint B2 = 1388622299;
constexpr lint M2 = 2147478017;
constexpr int INF = 2147483647;
void yes(bool expr) {cout << (expr ? "Yes" : "No") << "\n";}
template<class T>void chmax(T &a, const T &b) { if (a<b) a=b; }
template<class T>void chmin(T &a, const T &b) { if (b<a) a=b; }
int main()
{
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  int M, D, K;
  cin >> M >> D >> K;
  set<int> st;
  REP(i, 7) {
    st.insert(M/10);
    st.insert(M%10);
    st.insert(D/10);
    st.insert(D%10);
    D++;
    if(M == 2) {
      if(D == 29) {
        M++;
        D = 1;
      }
    } else if(M == 4 || M == 6 || M == 9 || M == 11) {
      if(D == 31) {
        M++;
        D = 1;
      }
    } else {
      if(D == 32) {
        M++;
        if(M == 13) M = 1;
        D = 1;
      }
    }
  }
  yes(st.size() >= K);
}