#include <cstdio>
const char* DAYS[] = { "Sunday", "Monday", "Tuesday", "Wednesday",
"Thursday", "Friday", "Saturday" };
const char* MONTH[] = { "", "January", "February", "March", "April", "May", "June", "July",
"August", "September", "October", "November", "December" };
int monthDay[] = { 0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 }; //每年各月份的天数
int monthSum[] = { //每年各月份之前的天数(润年另外加天数)
0,
31,
31 + 28,
31 + 28 + 31,
31 + 28 + 31 + 30,
31 + 28 + 31 + 30 + 31,
31 + 28 + 31 + 30 + 31 + 30,
31 + 28 + 31 + 30 + 31 + 30 + 31,
31 + 28 + 31 + 30 + 31 + 30 + 31 + 31,
31 + 28 + 31 + 30 + 31 + 30 + 31 + 31 + 30,
31 + 28 + 31 + 30 + 31 + 30 + 31 + 31 + 30 + 31,
31 + 28 + 31 + 30 + 31 + 30 + 31 + 31 + 30 + 31 + 30
};
//判断year是否为闰年
int isLeap(int year)
{
return (((year % 4 == 0) && (year % 100 != 0)) || (year % 400 == 0)) ? 1 : 0;
}
//检查该日期是否有效
int check(int y, int m, int d)
{
if (y <= 0 || m <= 0 || m > 12 || d <= 0 || d > monthDay[m]) //超出范围
return 0;
if (y == 1752 && m == 9 && d >= 3 && d <= 13) //1752年9月3日至13日被跳过
return 0;
return 1;
}
int main()
{
int m, d, y;
while (scanf("%d%d%d", &m, &d, &y))
{
if (m == 0 && d == 0 && y == 0)
break;
monthDay[2] = 28 + isLeap(y); //更新2月份的天数
int days;
if (check(y, m, d))
{
days = monthSum[m - 1] + d;
if (m > 2 && isLeap(y))
++days;
for (int i = 1; i < y; i++)
days += (365 + isLeap(i));
if (days >= 639797) //639797是0年0月0日到1752年9月14日的天数
days -= 11;
days += 4; //日期调整4天,根据测试样例找一个合适的值即可,算星期几用
printf("%s %d, %d is a %s\n", MONTH[m], d, y, DAYS[days % 7]);
}
else
printf("%d/%d/%d is an invalid date.\n", m, d, y);
}
return 0;
}