#include <iostream>
using namespace std;
int main(void) {
	string s1, s2;
	cin >> s1 >> s2;
	string ans = "8/31";
	if (s1 == "Sun" || s1 == "Sat") {
		ans = "8/32";
		if (s2 == "Sun" || s2 == "Sat")
			ans = "8/33";
	}
	cout << ans << endl;
	return 0;
}