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

int main(){
    map<string, int> mp;
    string a, b;
    cin >> a >> b;
    mp["Sat"] = 1;
    mp["Sun"] = 1;

    if(mp[a]){
        if(mp[b]){
            cout << "8/33" << endl;
        }else{
            cout << "8/32" << endl;
        }
    }else{
        cout << "8/31" << endl;
    }

    return 0;
}