m, d, k = map(int, input().split())

lim = {
    1: 31,
    2: 28,
    3: 31,
    4: 30,
    5: 31,
    6: 30,
    7: 31,
    8: 31,
    9: 30,
    10: 31,
    11: 30,
    12: 31,
}


char = ""
for i in range(7):
    char += str(m).zfill(2)
    char += str(d).zfill(2)
    d += 1
    if d > lim[m]:
        m += 1
        d = 1
    if m == 13:
        m = 1

if len(set(char)) >= k:
    print("Yes")
else:
    print("No")