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

/*
*/

string s[2];
string a[]={"Mon","Tue","Wed","Thu","Fri","Sat","Sun"};
ll n;

void init(){
	cin>>s[0]>>s[1];
}

int main(void){
	init();
	if((s[0]==a[6] || s[0]==a[5]) && (s[1]!=a[5] && s[1]!=a[6])){
		cout<<"8/32"<<endl;
	}else if((s[0]==a[5] || s[0]==a[6]) && (s[1]==a[5] || s[1]==a[6])){
		cout<<"8/33"<<endl;
	}else{
		cout<<"8/31"<<endl;
	}
	return 0;
}