#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")++cnt;
    if(s2=="Sat"||s2=="Sun")++cnt;
    cout<<ans[cnt]<<endl;
}