#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using P = pair<int, int>;
using PL = pair<ll, ll>;
// Welcome to my source code!

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