M,D,K=map(int,input().split())

X=[]

for i in range(7):
    ms=str(M).zfill(2)
    ds=str(D).zfill(2)

    X.append(ms[0])
    X.append(ms[1])
    X.append(ds[0])
    X.append(ds[1])

    D+=1

    if D==32:
        D=1
        M+=1
    if M in [2,4,6,9,11]:
        if D==31:
            D=1
            M+=1
    if M==2:
        if D==29:
            D=1
            M+=1

    if M==13:
        M=1

if len(set(X))>=K:
    print("Yes")
else:
    print("No")