#include "bits/stdc++.h"

using namespace std;

using ll = long long;
using ld = long double;

const double PI = 3.1415926535897932384626433832795;
const ll MOD = 1000000007;

const int dx[] = { 0, 1, 0, -1 };
const int dy[] = { -1, 0, 1, 0 };

int gcd(int x, int y) { return y ? gcd(y, x % y) : abs(x); }
ll gcd(ll x, ll y) { return y ? gcd(y, x % y) : abs(x); }
int lcm(int x, int y) { return x / gcd(x, y) * y; }
ll lcm(ll x, ll y) { return x / gcd(x, y) * y; }

int main() {
	ios::sync_with_stdio(false);
	cin.tie(0);

	string s1, s2;
	cin >> s1 >> s2;

	bool isS1Holiday = s1 == "Sat" || s1 == "Sun";
	bool isS2Holiday = s2 == "Sat" || s2 == "Sun";
	if (isS1Holiday && !isS2Holiday) {
		cout << "8/32" << endl;
	} else if (isS1Holiday && isS2Holiday) {
		cout << "8/33" << endl;
	} else {
		cout << "8/31" << endl;
	}
	
	return 0;
}