using System;
using static System.Console;
using System.Linq;
using System.Collections.Generic;

class Program
{
    static long NN => long.Parse(ReadLine());
    static long[] NList => ReadLine().Split().Select(long.Parse).ToArray();
    static void Main()
    {
        Solve();
    }
    static void Solve()
    {
        var c = NList;
        var date = new DateTime(2022, (int)c[0], (int)c[1]);
        var found = new bool[10];
        for (var i = 0; i < 7; ++i)
        {
            var d = date.ToString("MMdd");
            for (var ch = 0; ch < 10; ++ch)
            {
                if (d.Contains((char)(ch + '0'))) found[ch] = true;
            }
            date = date.AddDays(1);
        }
        WriteLine(found.Count(f => f) >= c[2] ? "Yes" : "No");
    }
}