#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;
}