#include <bits/stdc++.h>
#define rep(i,n) for (int i =0;i < (n); ++i)
using namespace std;
typedef long long ll;

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