#include <bits/stdc++.h>
using namespace std;

int main()
{
	string S1, S2;
	cin >> S1 >> S2;

	string ans = "8/31";
	if( S1 == "Sat" ||  S1 == "Sun" ) {
		if( S2 == "Sat" ||  S2 == "Sun" ) ans = "8/33";
		else ans = "8/32";
	}

	cout << ans << endl;
}