#include<stdio.h>
#include<string.h>
char word_1[] = "Sat";
char word_2[] = "Sun";
char line1[100];
char line2[100];
int main() {
    scanf("%s %s", line1, line2);
    if(strcmp(line1, word_1) == 0 || strcmp(line1, word_2) == 0) {
        if(strcmp(line2, word_1) == 0 || strcmp(line2, word_2) == 0) {
            printf("8/33");
        } else printf("8/32");
    } else printf("8/31");
    return (0);
}