#include "bits/stdc++.h"
#define REP(i, n, N) for(ll i = 0; i < (n); i++)
#define p(s) cout << (s) << endl
#define p2(a, b) cout << (a) <<" "<< (b) << endl
using namespace std;
typedef long long ll;
ll mod = 1e9+7;
ll inf = 1e18;

int main() {
    string s1, s2;
    cin >> s1 >> s2;
    ll a = 31;
    if(s1 == "Sun" || s1 == "Sat"){
        a++;
    }
    if(a == 32 && s2 == "Sun" || s2 == "Sat"){
        a++;
    }
    cout << "8/"<< a << endl;
    return 0;
}