#include <bits/stdc++.h>
#define rep(i,n) for (int i=0; i<(n); ++i)
using namespace std;
using ll=long long;
int main(){
    string s1,s2;
    cin>>s1>>s2;
    if(s1=="Sat"||s1=="Sun"){
        if(s2=="Sat"||s2=="Sun"){
            cout<<"8/33"<<endl;
        }
        else{
            cout<<"8/32"<<endl;
        }
    }
    else{
        cout<<"8/31"<<endl;
    }
}