#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < n; ++i)
using ll = long long;
using namespace std;
const int INF = 1e9;

int main() {
    string S, T;
    cin >> S >> T;

    if ((S == "Sun" || S == "Sat") && (T == "Sun" || T == "Sat"))
        cout << "8/33";
    else if (S == "Sun" || S == "Sat")
        cout << "8/32";
    else
        cout << "8/31";
    cout << endl;

    return 0;
}