#include<bits/stdc++.h>
using namespace std;

using uint = unsigned int;
using ll = long long;

#define TYPE_OF( VAR ) remove_const<remove_reference<decltype( VAR )>::type >::type
#define UNTIE ios_base::sync_with_stdio( false ); cin.tie( nullptr ) 
#define CIN( LL , A ) LL A; cin >> A 
#define ASSERT( A , MIN , MAX ) assert( MIN <= A && A <= MAX ) 
#define CIN_ASSERT( A , MIN , MAX ) CIN( TYPE_OF( MAX ) , A ); ASSERT( A , MIN , MAX ) 
#define GETLINE( A ) string A; getline( cin , A ) 
#define GETLINE_SEPARATE( A , SEPARATOR ) string A; getline( cin , A , SEPARATOR ) 
#define FOR( VAR , INITIAL , FINAL_PLUS_ONE ) for( TYPE_OF( FINAL_PLUS_ONE ) VAR = INITIAL ; VAR < FINAL_PLUS_ONE ; VAR ++ ) 
#define FOREQ( VAR , INITIAL , FINAL ) for( TYPE_OF( FINAL ) VAR = INITIAL ; VAR <= FINAL ; VAR ++ )  
#define FOR_ITR( ARRAY , ITR , END ) for( auto ITR = ARRAY .begin() , END = ARRAY .end() ; ITR != END ; ITR ++ ) 
#define REPEAT( HOW_MANY_TIMES ) FOR( VARIABLE_FOR_REPEAT , 0 , HOW_MANY_TIMES ) 
#define QUIT return 0 
#define RETURN( ANSWER ) cout << ( ANSWER ) << "\n"; QUIT 
#define DOUBLE( PRECISION , ANSWER ) cout << fixed << setprecision( PRECISION ) << ( ANSWER ) << "\n"; QUIT 
#define MIN( A , B ) ( A < B ? A : B )
#define MAX( A , B ) ( A < B ? B : A )
#define RESIDUE( A , P ) ( A >= 0 ? A % P : P - ( - A - 1 ) % P - 1 ) 

int main()
{
  UNTIE;
  constexpr const int bound_M = 12;
  CIN_ASSERT( M , 1 , bound_M );
  constexpr const int bound_D = 31;
  CIN_ASSERT( D , 1 , bound_D );
  constexpr const int bound_K = 10;
  CIN_ASSERT( K , 1 , bound_K );
  int day[13] = { 0 , 31 , 28 , 31 , 30 , 31 , 30 , 31 , 31 , 30 , 31 , 30 , 31 };
  bool used[10] = {};
  int c;
  string M_str = to_string( 100 + M ).substr( 1 );
  FOR( i , 0 , 2 ){
    c = stoi( M_str.substr( i , 1 ) );
    used[c] = true;
  }
  string D_str;
  REPEAT( 7 ){
    D_str = to_string( 100 + D ).substr( 1 );
    FOR( i , 0 , 2 ){
      c = stoi( D_str.substr( i , 1 ) );
      used[c] = true;
    }
    D++;
    if( D > day[M] ){
      D = 1;
      M++;
      if( M == 13 ){
	M = 1;
      }
      M_str = to_string( 100 + M ).substr( 1 );
      FOR( i , 0 , 2 ){
	c = stoi( M_str.substr( i , 1 ) );
	used[c] = true;
      }
    }
  }
  int count = 0;
  FOR( d , 0 , 10 ){
    if( used[d] ){
      count++;
    }
  }
  RETURN( count >= K ? "Yes" : "No" );
}