#include<stdio.h>
#include<string.h>

int main(void)
{
	char a[10], b[10];
	scanf("%s %s", &a, &b);
	if (strcmp(a,"Sat") == 0 || strcmp(a,"Sun") == 0) {
		if (strcmp(b, "Sat") == 0 || strcmp(b, "Sun") == 0) {
			printf("8/33");
			return 0;
		}
		printf("8/32");
	}
	return 0;
}