#include <iostream>
#include <cstring>
#include <vector>
#include <set>
#include <list>
#include <map>
#include <deque>
#include <algorithm>
#include <utility>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef vector<ll> vll;
typedef vector<vector<ll>> vvll;
#define for1(i,n) for (ll i=0;i<(n);i++)
#define for2(i,m,n) for (ll i=(m);i<(n);i++)
#define for3(i,m,n,d) for (ll i=(m);i<(n);i+=(d))
#define DEBUG 0

void solve()
{
    string s1,s2;
    cin >> s1 >> s2;
    if (s1 == "Sat" || s1 == "Sun") {
        if (s2 == "Sat" || s2 == "Sun") {
            cout << "8/33" << endl;
            return;
        }
        cout << "8/32" << endl;
        return;
    }
    cout << "8/31" << endl;
}

int main()
{
    do {
        solve();
    } while (DEBUG);
}