// Sid Reddy Phillips Academy Intermediate Div
import java.util.*;
public class FingerPrint
{
static Scanner sc = new Scanner(System.in);
public static void main(String[] args)
{
int[] henry = new int[10];
int[] auto = new int[10];
henry[0] = 16; henry[1] = 16; henry[2] = 8; henry[3] = 8; henry[4] = 4; henry[5] = 4; henry[6] = 2; henry[7] = 2; henry[8] = 1; henry[9] = 1;
auto[0] = 16; auto[1] = 8; auto[2] = 4; auto[3] = 2; auto[4] = 1; auto[5] = 16; auto[6] = 8; auto[7] = 4; auto[8] = 2; auto[9] = 1;
while( true )
{
int[] whorled = new int[10];
for (int i = 0; i<whorled.length; i++)
{
whorled[i] = 0;
}
String input = sc.nextLine();
String[] input2 = input.split(", ");
boolean HENRY, AUTO;
if (input2[0].equals("H"))
{
HENRY = true;
AUTO = false;
}
else
{
//
HENRY = false;
AUTO = true;
}
for (int i = 1; i<input2.length; i++)
{
if (input2[i].equals("0"))
break;
whorled[Integer.parseInt(input2[i]) - 1] = 1;
}
int henrysumnumer = 0, henrysumdenom = 0, autosumnumer = 0, autosumdenom = 0;
for (int i = 0; i<whorled.length; i++)
{
if (whorled[i]==1)
{
if (HENRY)
{
if ((i+1)%2==0)
henrysumnumer += henry[i];
else
henrysumdenom += henry[i];
}
if (AUTO)
{
if (1<=i+1 && i+1<=5)
autosumnumer += auto[i];
else
autosumdenom += auto[i];
}
}
}
int pgrnumer = 0, pgrdenom = 0;
if (HENRY)
{
pgrnumer = 1 + henrysumnumer;
pgrdenom = 1 + henrysumdenom;
}
if (AUTO)
{
pgrnumer = 1 + autosumnumer;
pgrdenom = 1 + autosumdenom;
}
System.out.println(pgrnumer + " / " + pgrdenom);
}
}
}