#include<bits/stdc++.h>
using namespace std;

int main() {
	string s[2];
	for(int i = 0; i < 2; ++i) {
		cin >> s[i];
	}
	if(s[0] == "Sat" or s[0] == "Sun") {
		if(s[1] == "Sat" or s[1] == "Sun") {
			cout << "8/33" << '\n';
		} else {
			cout << "8/32" << '\n';
		}
	} else {
		cout << "8/31" << '\n';
	}
	return 0;
}