#include <bits/stdc++.h>
using namespace std;
using ll = long long;
const int mod = 1e9 + 7;
const int inf = (1 << 30) - 1;
const ll infll = (1LL << 61) - 1;

string s, t;

int main()
{
    cin >> s >> t;
    if (s == "Sat" || s == "Sun")
    {
        if (t == "Sat" || t == "Sun")
            cout << "8/33\n";
        else
            cout << "8/32\n";
    }
    else
        cout << "8/31\n";
}