days_in_month = [0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]

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

current_m = M
current_d = D
digits_used = set()

for _ in range(7):
    mm = f"{current_m:02d}"
    dd = f"{current_d:02d}"
    digits = mm + dd
    for c in digits:
        digits_used.add(c)
    
    # Move to the next day
    if current_d == days_in_month[current_m]:
        current_m += 1
        if current_m > 12:
            current_m = 1
        current_d = 1
    else:
        current_d += 1

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