#include<bits/stdc++.h>
 
using namespace std;
 
#define INF 1000000007
#define LINF 1000000000000000007
 
typedef long long i64;
typedef pair<i64,i64> P;


string s, t;

int main(){
	cin >> s >> t;
	
	if(s == "Sat" || s == "Sun"){
		if(t == "Sat" || t == "Sun"){
			cout << "8/33" << endl;
		}
		else{
			cout << "8/32" << endl;
		}
	}
	else{
		cout << "8/31" << endl;
	}
	
	return 0;
}