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