#include <stdio.h>

int main(void)
{
	char s1[4], s2[4];

	scanf("%s %s", s1, s2);

	if (s1[0] == 'S') {
		if (s2[0] == 'S')
			printf("8/33\n");
		else
			printf("8/32\n");
	} else
		printf("8/31\n");

	return 0;
}