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

int main() {
	string a, b; cin >> a >> b;
	map<string, int>M({ {"Sat",1},{"Sun",1} });
	if (M[a] && M[b]) {
		cout << "8/33" << endl;
	}
	else if (M[a]) {
		cout << "8/32" << endl;
	}
	else {
		cout << "8/31" << endl;
	}
}