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

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

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