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

int main() {
	string S, T;
	cin >> S >> T;
	if (S == "Sat" || S == "Sun") {
		if (T == "Sat" || T == "Sun") {
			cout << "8/33" << endl;
		}
		else {
			cout << "8/32" << endl;
		}
	}
	else {
		if (T == "Sat" || T == "Sun") {
			cout << "8/32" << endl;
		}
		else {
			cout << "8/31" << endl;
		}
	}
}