#include "bits/stdc++.h"

using namespace std;

void solve(void)
{
	int a = 31;
	for (int i = 0; i < 2; i++)
	{
		string s;
		cin >> s;
		if (s[0] == 'S') a++;
	}
	cout << "8/" << a << endl;
}

int main()
{
	solve();
	//cout << "yui(*-v・)yui" << endl;
	return 0;
}