#include <bits/stdc++.h>

int ri() {
	int n;
	scanf("%d", &n);
	return n;
}

int main() {
	std::string a, b;
	std::cin >> a >> b;
	bool aa = false, bb = false;
	if (a == "Sat" || a == "Sun") aa = true;
	if (b == "Sat" || b == "Sun") bb = true;
	if (aa && !bb) std::cout << "8/32" << std::endl;
	else if (aa && bb) std::cout << "8/33" << std::endl;
	else std::cout << "8/31" << std::endl;
	
	return 0;
}