#include <stdio.h>
#include <string.h>

int main()
{
    char s[16];
    char t[16];

    scanf("%s %s", s, t);

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

    return 0;
}