#include<bits/stdc++.h>
using namespace std;;
int main(){
    string fir,sec;
    cin >> fir >> sec;
    if(fir=="Sat"&&sec=="Sun")cout << "8/33" << endl;
    else cout << "8/31" << endl;
}