#include <fstream>
#include <iostream>
#include <utility>
#include <string>


int main() {

	//std::ifstream inf("Text.txt");	std::cin.rdbuf(inf.rdbuf());
	int ans = 31;
	std::string S;

	std::cin >> S;
	if (S[0] == 'S') {
		ans++;
		std::cin >> S;
		if (S[0] == 'S') {
			ans++;
		}
	}

	std::cout << "8/" << ans << std::endl;
}