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

int main(){
    string S, T;
    cin >> S >> T;
    if (S != "Sat" && S != "Sun") cout << "8/31" << endl;
    else if (T != "Sat" && T != "Sun") cout << "8/32" << endl;
    else cout << "8/33" << endl;
}