#include<bits/stdc++.h>
#define REP(i,a,b) for(int i=(a);i<(b);i++)
#define rep(i,n) REP(i,0,(n))
typedef long long ll;
using namespace std;

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