/*
    No.841 8/32
    https://yukicoder.me/problems/no/841
*/
#include <bits/stdc++.h>
using namespace std;
#define SUN "Sun"
#define SAT "Sat"
int main() {
    ios::sync_with_stdio(0);
    cin.tie(0);
    string s1, s2;
    cin >> s1 >> s2;

    // 8/33
    if (((s1 == SAT) && (s2 == SUN)) || ((s1 == SUN) && (s2 == SAT)))
        cout << "8/33" << endl;
    else if (((s1 == SAT) || (s1 == SUN)) && ((s2 != SUN) && (s2 != SAT)))
        cout << "8/32" << endl;
    else
        cout << "8/31" << endl;
}