#include<bits/stdc++.h>
using namespace std;
int main(){
    string s1,s2;
    cin>>s1>>s2;
    vector<string> ans={"8/31","8/32","8/33"};
    int cnt=0;
    if(s1=="Sat"||s1=="Sun"){
        if(s2=="Sat"||s2=="Sun")cnt+=2;
        else cnt+=1;
    }
    cout<<ans[cnt]<<endl;
}