#include<iostream>
#include<set>
using namespace std;
int M,D,K;
int mx(int m){return m==4||m==6||m==9||m==11?30:m==2?28:31;}
main()
{
	cin>>M>>D>>K;
	set<int>S;
	for(int i=0;i<7;i++)
	{
		S.insert(M/10);
		S.insert(M%10);
		S.insert(D/10);
		S.insert(D%10);
		D++;
		if(mx(M)<D)
		{
			M=M%12+1;
			D=1;
		}
	}
	cout<<(S.size()<K?"No\n":"Yes\n");
}