#include <bits/stdc++.h>
using namespace std;
 
int main(){
        string S,T;
        cin >> S >> T ;

        if(S == "Sun" || S == "Sat"){
                if(T == "Sun" || T == "Sat"){
                        cout << "8/33";
                }else{
                        cout << "8/32";
                }
        }else{
                cout << "8/31";
        }
}