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

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