M,D,K = map(int,input().split())
month = {1:31,2:28,3:31,4:30,5:31,6:30,7:31,8:31,9:30,10:31,11:30,12:31}
S = set()
D-=1
for i in range(7):
    D += 1
    if month[M] < D:
        D = 1
        if M == 12:
            M = 1
        else:
            M += 1
    MD_set = set()
    if M < 10: MD_set.add("0"); MD_set.add(str(M))
    else: MD_set.add(str(M)[0]);MD_set.add(str(M)[1])
    if D < 10: MD_set.add("0"); MD_set.add(str(D))
    else: MD_set.add(str(D)[0]);MD_set.add(str(D)[1])
    
    S |= MD_set

c = 0
for i in range(10):
    if str(i) in S:
        c += 1
   
if c >= K:
    print("Yes")
else:
    print("No")