#include "bits/stdc++.h"
using namespace std;
using ll = long long;
using pii = pair<int, int>;
using pll = pair<ll, ll>;
using vi = vector<int>;
using vl = vector<ll>;
using vvi = vector<vi>;
using vvl = vector<vl>;
const int INF = 1 << 28;
const ll MOD = 1000000007;
template <class T>
bool chmax(T &a, const T &b) {
    return (a < b) ? (a = b, 1) : 0;
}
template <class T>
bool chmin(T &a, const T &b) {
    return (b < a) ? (a = b, 1) : 0;
}

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