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

using namespace std;

typedef set<string> tSS;

int gcd(int a,int b) { return a?gcd(b%a,a):b; }

char buf[8000000];
int main()
{
    close(0);
    fopen("bingo.in","r");
    int occ = 0;
    char c;
    int l=0;
    int words=0;
    while( (gets(buf+l))>0 )
    {
        l+=strlen(buf+l);
    }
    int idx=0;
    int len = strlen(buf);
    tSS seti;
    while( idx < len)
    {
        string s="";
        while( idx < len )
        {
            c=buf[idx];
            if( (c>='A'&&c<='Z') || (c>='a' && c<='z' ))
            {
                idx++;
                s+=c;
            }
            else
                break;
        }
        if("BULLSHIT"==s)
        {
            occ++;
            words+=seti.size();
            seti.clear();
        }
        else
        {
            for(int i=0; i<s.size(); ++i)
                if(s[i] >= 'a')
                    s[i]-=32;
//            cout<<s<<endl;
            seti.insert(s);
        }
        while( idx < len )
        {
            c=buf[idx];
            if( (c>='A' && c<='Z') || (c>='a' && c<='z' ))
                break;
            else
                idx++;
        }

    } 

    int d = gcd(occ,words);
    words/=d;
    occ/=d;
    printf("%d / %d",words ,occ);
    return 0;
}