#include<stdio.h>

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