#include <bits/stdc++.h>
#define rep(i,n) for(int i=0; i<(n); i++)
using namespace std;
typedef long long ll;

int main(){
	string s1,s2; cin>>s1>>s2;
	if(s1=="Sat"||s1=="Sun"){
			if(s2=="Sat"||s2=="Sun") cout << "8/33" << endl;
			else cout << "8/32" << endl;
	}
	else cout << "8/31" << endl;
}