#include <bits/stdc++.h>
#define INF 990000000
//13
using namespace std;

int main() {

string s1,s2;

cin>>s1>>s2;

if((s1.compare("Sat")==0 || s1.compare("Sun")==0) && (s2.compare("Sat")==0 || s2.compare("Sun")==0)){
cout<< "8/33"<<endl;

}else if(s1.compare("Sat")==0 || s1.compare("Sun")==0){
cout<< "8/32"<<endl;
}else{
cout<< "8/31"<<endl;

}



}