CF724A.Checking the Calendar

You are given names of two days of the week.

Please, determine whether it is possible that during some non-leap year the first day of some month was equal to the first day of the week you are given, while the first day of the next month was equal to the second day of the week you are given. Both months should belong to one year.

In this problem, we consider the Gregorian calendar to be used. The number of months in this calendar is equal to 12. The number of days in months during any non-leap year is: 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31.

Names of the days of the week are given with lowercase English letters: "monday", "tuesday", "wednesday", "thursday", "friday", "saturday", "sunday".

给你两个星期几的名称。

请判断：是否存在某个平年，使得某个月的第一天恰好是你所给的第一个星期几，而下一个月的第一天恰好是你所给的第二个星期几。这两个月份必须属于同一年。

本题采用公历（格里高利历）。该历法一年有 12 个月。在任意一个平年中，各月的天数依次为：31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31。

星期几的名称用小写英文字母给出：“monday”、“tuesday”、“wednesday”、“thursday”、“friday”、“saturday”、“sunday”。

The input consists of two lines, each of them containing the name of exactly one day of the week. It's guaranteed that each string in the input is from the set "monday", "tuesday", "wednesday", "thursday", "friday", "saturday", "sunday".

输入包含两行，每行恰好包含一个星期几的名称。保证输入中的每个字符串均来自集合 {"monday", "tuesday", "wednesday", "thursday", "friday", "saturday", "sunday"}。

Print "YES" (without quotes) if such situation is possible during some non-leap year. Otherwise, print "NO" (without quotes).

如果在某个非闰年中可能出现这种情况，则输出 "YES"（不带引号）；否则，输出 "NO"（不带引号）。

In the second sample, one can consider February 1 and March 1 of year 2015. Both these days were Sundays.

In the third sample, one can consider July 1 and August 1 of year 2017. First of these two days is Saturday, while the second one is Tuesday.

在第二个样例中，可以考虑 2015 年的 2 月 1 日和 3 月 1 日。这两天均为星期日。

在第三个样例中，可以考虑 2017 年的 7 月 1 日和 8 月 1 日。这两天中，前者为星期六，后者为星期二。