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

int main(){
    string S1, S2;
    cin >> S1 >> S2;
    if (S1 == "Sat" or S1 == "Sun"){
        if (S2 == "Sat" or S2 == "Sun"){
            cout << "8/33" << endl;
        }
        else{
            cout << "8/32" << endl;
        }
    }else{
        cout << "8/31" << endl;
    }
    return 0;
}