#include <bits/stdc++.h>
#define REP(i, n) for(int i = 0; i < n; i++)
#define REPR(i, n) for(int i = n; i >= 0; i--)
#define FOR(i, m, n) for(int i = m; i < n; i++)
#define INF 2e9
#define ALL(v) v.begin(), v.end()
using namespace std;
typedef long long ll;
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    
    string s1, s2;
    cin >> s1 >> s2;

    string ans = "8/31";

    if( (s1 == "Sat" || s1 == "Sun") && (s2 == "Sat" || s2 == "Sun") )
    {
        ans = "8/33";
    }else if( (s1 == "Sat" || s1 == "Sun") )
    {
        ans = "8/32";
    }

    cout << ans << endl;
}