#include<stdio.h>
#include<string.h>
int main()
{
	char s[2][5];
	scanf("%s %s", s[0], s[1]);
	if (strcmp(s[0], "Sat") == 0 || strcmp(s[0], "Sun") == 0)
	{
		if (strcmp(s[1], "Sat") == 0 || strcmp(s[1], "Sun") == 0)
			printf("8/33\n");
		else
			printf("8/32\n");
	}
	else
		printf("8/31\n");
	return 0;
}