#include <iostream>
#include <string>

using namespace std;

string s, t;

int main(void)
{
	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;
}