#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;
    int cnt=0;
    if(s1=="Sat"||s1=="Sun")cnt++;
    if(s2=="Sat"||s2=="Sun")cnt++;
    if(cnt==0)cout<<"8/31"<<endl;
    if(cnt==1)cout<<"8/32"<<endl;
    if(cnt==2)cout<<"8/33"<<endl;
}