#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

int main() {
    string s, t;
    cin >> s >> t;
    if (s == "Sat" || s == "Sun") {
        if (t == "Sat" || t == "Sun") puts("8/33");
        else puts("8/32");
    } else puts("8/31");
    return 0;
}