#include<stdio.h>
#include<string.h>
#include<stdlib.h>
int main(void){
char s[10],ss[10];
scanf("%s %s",s,ss);

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