#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define F first
#define S second
#define pii pair<int, int>
#define eb emplace_back
#define all(v) v.begin(), v.end()
#define rep(i, n) for (int i = 0; i < n; ++i)
#define rep3(i, l, n) for (int i = l; i < n; ++i)
#define chmax(a, b) a = max(a, b)
#define chmin(a, b) a = min(a, b)
#define out(a) cout << a << endl
#define SZ(v) (int)v.size()

int main() {
    string s, t; cin >> s >> t;
    int a = 0, b = 0;
    if (s == "Sun" || s == "Sat") a = 1;
    if (t == "Sun" || t == "Sat") b = 1;
    if (a && b) out("8/33");
    else if (a) out("8/32");
    else out("8/31");
}