#include <bits/stdc++.h>
using namespace std;
typedef long long int ll;
typedef long long unsigned int ull;
#define INF 1LL << 29
#define MOD 1000000007

//      debug shrine
//
// #######################
//     ##           ##
//   ###################
//     ##           ##
//     ##           ##
//     ##           ##
//     ##           ##
//     ##           ##

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