/*
    No.841 8/32
    https://yukicoder.me/problems/no/841
*/
#include <bits/stdc++.h>
using namespace std;

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")
        cout << "8/32" << endl;
    else
        cout << "8/31" << endl;
    return 0;
}