#include<iostream>
using namespace std;

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