// yukicoder: No.841 8/32
// 2019.5.28 bal4u

#include <stdio.h>
#include <stdlib.h>

int main()
{
	int a, b, d;
	char s1[10], s2[10];
	
	scanf("%s%s", s1, s2);
	a = (s1[1] == 'a' || s1[0] == 'S' && s1[1] == 'u');
	b = (s2[1] == 'a' || s2[0] == 'S' && s2[1] == 'u');
	d = 31;
	if (a && b) d += 2;
	else if (a) d++;
	printf("8/%d\n", d);
	return 0;
}