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

public class Hello
{
    static void Main()
    {
        string[] line = Console.ReadLine().Trim().Split(' ');
        var m = int.Parse(line[0]);
        var d = int.Parse(line[1]);
        var k = int.Parse(line[2]);
        getAns(m, d, k);
    }

    static void getAns(int m, int d, int k)
    {
        var hs = new HashSet<char>();
        var ymd = new DateTime(2022, m, d, 0, 0, 0);
        for (int i = 0; i < 7; i++)
        {
            var ymd2 = ymd.AddDays(i);
            var a = string.Format("{0:00}{1:00}", ymd2.Month, ymd2.Day);
            foreach (var x in a) hs.Add(x);
        }
        Console.WriteLine(hs.Count >= k ? "Yes" : "No");
    }
}