#include "bits/stdc++.h"
#define int long long
using namespace std;
using ll = long long;
using P = pair<ll, ll>;
const ll INF = (1LL << 61);
ll mod = 1000000007;


signed main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	string S1, S2; cin >> S1 >> S2;
	if ((S1 == "Sat" || S1 == "Sun") && (S2 == "Sat" && S2 == "Sun")) {
		cout << "8/33" << endl;
	}
	else if (S1 == "Sat" || S1 == "Sun") {
		cout << "8/32" << endl;
	}
	else cout << "8/31" << endl;
	return 0;
}