#include"bits/stdc++.h"
using namespace std;
int main() {
	string s, t;
	cin >> s >> t;
	if ((s == "Sat" || s == "Sun") && (t == "Sat" || t == "Sun")) {
		cout << "8/33" << endl;
	}
	else if (s == "Sat" || s == "Sun") {
		cout << "8/32" << endl;
	}
	else {
		cout << "8/31" << endl;
	}
}