#include<bits/stdc++.h>
#define rep(i, x) for(ll i = 0; i < x; i++)
#define rep2(i, x) for(ll i = 1; i <= x; i++)
#define all(a) (a).begin(),(a).end()
using ll = long long;
using ld = long double;
using namespace std;
signed main() {
    string s, t; cin >> s >> t;
	if (s == "Sat" && t == "Sat") { cout << "8/33\n"; }
	else if (s == "Sat" && t == "Sun") { cout << "8/33\n"; }
	else if (t == "Sat" && s == "Sun") { cout << "8/33\n"; }
	else {
		if (s == "Sat" || s == "Sun") { cout << "8/32\n"; }
		else { cout << "8/31\n"; }
	}
	return 0;
}