using System;
using System.Collections.Generic;
using System.Linq;

class Program
{
    static void Main(string[] args)
    {
        var input = Console.ReadLine().Split().Select(int.Parse).ToArray();
        var M = input[0];
        var D = input[1];
        var K = input[2];

        var days = new[] { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };

        var list = new List<string>();

        if (D + 7 > days[M - 1])
        {
            for (int i = 0; i < days[M - 1] - D + 1; i++)
            {
                list.Add(M.ToString() + (D + i).ToString());
            }
            for (int i = 0; i < 7 - (days[M - 1] - D + 1); i++)
            {
                if (M == 12)
                {
                    list.Add("010" + (i + 1).ToString());
                }
                else
                {
                    list.Add((M + 1).ToString() + "0" + (i + 1).ToString());
                }
            }
        }
        else
        {
            for (int i = 0; i < 7; i++)
            {
                list.Add(M.ToString() + (D + i).ToString());
            }
        }
        var ss = "";
        var array = new int[10];

        foreach (var item in list)
        {
            ss += item;
            for (int i = 0; i < (4 - item.Length); i++) ss += "0";
        }

        foreach (var item in ss)
            array[item - '0']++;

        var count = 0;
        foreach (var item in array)
        {
            if (item > 0) count++;
        }
        
        if (count >= K) Console.WriteLine("Yes");
        else Console.WriteLine("No");
    }
}