using System;

namespace yukicoder
{
    class Program
    {
        /// <summary>
        /// 平成の最小値
        /// </summary>
        private static readonly DateTime MIN_HEISEI = new DateTime(1989, 1, 8);
        /// <summary>
        /// 平成の最大値
        /// </summary>
        private static readonly DateTime MAX_HEISEI = new DateTime(2019, 4, 30);

        /// <summary>
        /// 日付を比較
        /// </summary>
        /// <param name="dt"></param>
        /// <returns></returns>
        static string CompareToDate(DateTime dt)
        {
            return (MIN_HEISEI <= dt && dt <= MAX_HEISEI) ? "Yes" : "No";
        }

        static void Main(string[] args)
        {
            // 入力値(日付)読み込み
            var inputDate = Console.ReadLine().Split(' ');
            int yyyy = int.Parse(inputDate[0]);
            int mm = int.Parse(inputDate[1]);
            int dd = int.Parse(inputDate[2]);
            var dt = new DateTime(yyyy, mm, dd);
            Console.WriteLine(CompareToDate(dt));
        }
    }
}