#include <iostream>
#include <string>
using namespace std;
int main(int argc, char* argv[])
{
	string s1,s2;
	cin>>s1>>s2;
	if ((s1.compare("Sat")==0 || s1.compare("Sun")==0)&&s2.compare("Sat")!=0 && s2.compare("Sun")!=0){
		cout<<"8/32"<<endl;
	}else if ((s1.compare("Sat")==0 || s1.compare("Sun")==0)&&(s2.compare("Sat")==0 || s2.compare("Sun")==0)){
		cout<<"8/33"<<endl;
	}else{
		cout<<"8/31"<<endl;
	}
	return 0;
}