#include <bits/stdc++.h>

using namespace std;

bool is_holiday(string s) {
	return s == "Sat" || s== "Sun";
}

int main() {
	string s1, s2;
	cin >> s1 >> s2;

	if (is_holiday(s1)) {
		if (is_holiday(s2)) {
			puts("8/33");
		} else {
			puts("8/32");
		}
	} else {
		puts("8/31");
	}

	return 0;
}