mod = 998244353


def main():
    import sys
    input = sys.stdin.readline

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

    S = set()
    for _ in range(7):
        S.add(M // 10)
        S.add(M % 10)
        S.add(D // 10)
        S.add(D % 10)

        D += 1
        if M == 2:
            if D == 29:
                M += 1
                D = 1
        elif M in [4, 6, 9, 11]:
            if D == 31:
                M += 1
                D = 1
        else:
            if D == 32:
                M += 1
                D = 1
        if M == 13:
            M = 1
    if len(S) >= K:
        print("Yes")
    else:
        print("No")


if __name__ == '__main__':
    main()