#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"<<endl;
        else cout<<"8/32"<<endl;
    }else cout<<"8/31"<<endl;
    return 0;
}