import datetime as dt
M,D,K = map(int,input().split())
today = dt.datetime.strptime(str(2022)+str(M)+str(D),"%Y%m%d")

S = set()
for i in range(7):
    A = str(today + dt.timedelta(days=i))
    A = A.split()
    A = A[0]
    A = A.split("-")
    for j in range(2):
        S.add(A[1][j])
        S.add(A[2][j])
if len(S) >= K:
    print("Yes")
else:
    print("No")