def main():
    from sys import stdin, setrecursionlimit
    # setrecursionlimit(1000000)
    input = stdin.readline
    def iinput(): return int(input())
    def sinput(): return input().rstrip()
    def i0input(): return int(input()) - 1
    def linput(): return list(input().split())
    def liinput(): return list(map(int, input().split()))
    def miinput(): return map(int, input().split())
    def li0input(): return list(map(lambda x: int(x) - 1, input().split()))
    def mi0input(): return map(lambda x: int(x) - 1, input().split())
    INF = 1000000000000000000
    MOD = 1000000007

    from datetime import datetime, timedelta

    M, D, K = miinput()
    base = datetime(year=2021, month=M, day=D)
    ans = set()
    for i in range(7):
        now = base + timedelta(days=i)
        day = str(now.day).zfill(2)
        mon = str(now.month).zfill(2)
        for a in day:
            ans.add(a)
        for a in mon:
            ans.add(a)
    
    if len(ans) >= K:
        print('Yes')
    else:
        print('No')

main()