import sys
input = lambda: sys.stdin.readline().rstrip()
ii = lambda: int(input())
mi = lambda: map(int, input().split())
li = lambda: list(mi())
inf = 2 ** 63 - 1
mod = 998244353

m, d, k = mi()

s = set()
for i in range(7):
    s.add(m % 10)
    s.add(m // 10)
    s.add(d % 10)
    s.add(d // 10)
    d += 1
    if m in [4, 6, 9, 11] and d == 31:
        d = 1
        m += 1
    elif m == 2 and d == 29:
        d = 1
        m += 1
    elif m == 12 and d == 32:
        d = 1
        m = 1
    elif d == 32:
        d = 1
        m += 1
print('Yes' if len(s) >= k else 'No')