#include <bits/stdc++.h>
using namespace std;

int main(){
    string s,t;
    cin>>s>>t;
    if(s !="Sat" && s !="Sun") {
        cout<<"8/31"<<endl;
        return 0;
    }
     if(s =="Sat" || s =="Sun") {
         if(t =="Sat" || t =="Sun") {
             cout<<"8/33"<<endl;
             return 0;
         }
         else{
             cout<<"8/32"<<endl;
             return 0;
         }
     }
}