#include <cstdio>
#include <iostream>
#include <string>
#include <set>
#include <string>
#include <unistd.h>
#include <fcntl.h>

char s[10000000];

using namespace std;

set<string> myset;

int ggT(int a, int b)
{
	if (b == 0)
		return a;
	return ggT(b, a%b);
}

int main()
{
	close(0);
	open("bingo.in", O_RDONLY);
	int bullshit = 0;
	int cnt = 0;
	while(gets(s))
	{
		int i=0;
		string t="";
		while(1)
		{
			if ('A' <= s[i] && s[i] <= 'Z') 
				t.push_back(s[i]);
			else if ('a' <= s[i] && s[i] <= 'z')
				t.push_back(s[i]-'a'+'A');
			else
			{
				if (t.length() != 0)
				{
					if (t == "BULLSHIT")
					{
						cnt+=myset.size();
						myset.clear();
						bullshit++;
					}
					else
					{
						if (myset.find(t) == myset.end())
							myset.insert(t);
					}
				}
				t = "";
			}
			if (s[i] == 0)
				break;
			i++;
		}
	}
	int g = ggT(cnt, bullshit);
	printf("%d / %d\n", cnt/g, bullshit/g);
}