#include<bits/stdc++.h>
using namespace std;
using Int=long long;
using Real=long double;
template<class T,class S>inline bool chmin(T&A,S B){if(A>B){A=B;return true;}else{return false;}}
template<class T,class S>inline bool chmax(T&A,S B){if(A<B){A=B;return true;}else{return false;}}
#define REP(i,n)for(int i=0;i<(n);++i)
#define REP1(i,n)for(int i=1;i<=(n);++i)
#define ALL(x)begin(x),end(x)
#define drop(x){cout<<(x)<<'\n';return;}
string S,T;
void sol()
{
	cin>>S>>T;
	int ans=1;
	if((S=="Sat"||S=="Sun")&&(T=="Sat"||T=="Sun"))ans=3;
	else if(S=="Sat"||S=="Sun")ans=2;
	cout<<"8/3"<<ans<<"\n";
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cout.tie(nullptr);
	cout<<fixed<<setprecision(16);
	int T=1;
	//cin>>T;
	while(T--)sol();
}