class Program
    {
        static void Main(string[] args)
        {
            int[] dayList = { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
            int[] numList = new int[10];
            int[] n = Array.ConvertAll(Console.ReadLine().Split(' '), num => int.Parse(num.ToString()));
            DateTime checkDate = new DateTime(1, n[0], n[1]);
            for(int i = 0; i < 7; i++)
            {
                string dayStr = checkDate.ToString().Substring(5, 5);
                for(int j = 0; j < 5; j++)
                {
                    if (dayStr[j] == '/')
                    {
                        continue;
                    }
                    numList[int.Parse(dayStr[j].ToString())]++;
                }
                checkDate = checkDate.AddDays(1);
            }
            int count = PopNumber(numList);
            if(count >= n[2])
            {
                Console.WriteLine("Yes");
            }
            else
            {
                Console.WriteLine("No");
            }
        }

        private static int PopNumber(int[] numList)
        {
            int count = 0;
            for(int i = 0; i < 10; i++)
            {
                if (numList[i] != 0)
                {
                    count++;
                }
            }
            return count;
        }
    }