M,D,K=map(int,input().split())
def next_day(M,D):
    if (M,D)==(12,31):
        return 1,1
    D+=1
    if (31,28,31,30,31,30,31,31,30,31,30,31)[M-1]<D:
        M+=1
        D=1
    return M,D
number=[]
for _ in range(7):
    number.append(M)
    number.append(D)
    M,D=next_day(M,D)
use=[0]*10
for n in number:
    use[n//10]=1
    use[n%10]=1
if sum(use)>=K:
    ans="Yes"
else:
    ans="No"
print(ans)