#include <iostream>
using namespace std;

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