#!/usr/bin/python
# -*- coding: utf-8 -*-

# import
from sys import stdin, setrecursionlimit
setrecursionlimit(10**8)

def int_map():
    return map(int,input().split())

def int_list():
    return list(map(int,input().split()))

def int_mtx(N):
    x = [list(map(int, stdin.readline().split())) for _ in range(N)]
    return x

def str_mtx(N):
    x = [list(stdin.readline()[:-1]) for _ in range(N)]
    return x

def print_space(l):
    return print(" ".join([str(x) for x in l]))



"""    main code    """

import datetime as dt

date = dt.datetime(2017, 1, 1, 0, 0)

dates = []

for i in range(365):
    dates.append(f"{str(date)[5:7]}{str(date)[8:10]}")
    date += dt.timedelta(days=1)

M,D,K = int_map()

for i in range(365):
    if str(M).zfill(2)+str(D).zfill(2) == dates[i]:
        s = set()
        for j in range(7):
            ss = dates[(i+j)%365]
            for ssi in ss:
                s.add(ssi)
        
        if len(s) >= K:
            print('Yes')
            exit()
            
print("No")