#include <bits/stdc++.h>
#define rep(i,n)for(int i=0;i<(n);i++)
#define MOD 1000000007
#define INF 0x3f3f3f3f
#define INFL 0x3f3f3f3f3f3f3f3f
#define EPS (1e-10)
using namespace std;
typedef long long ll;
typedef pair<int,int>P;

bool valid(string s){
	return s=="Sat"||s=="Sun";
}
int main(){
	string a,b;cin>>a>>b;
	if(valid(a)&&valid(b)){
		puts("8/33");
	}
	else if(valid(a)){
		puts("8/32");
	}
	else puts("8/31");
}