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

int main() {
    char first[10] = "a";
    scanf("%s",first);
    char second[10] = "a";
    scanf("%s",second);

    if((strcmp(first,"Sat") == 0 || strcmp(first,"Sun") == 0) && (strcmp(second,"Sat") == 0 || strcmp(second,"Sun") == 0)){
        printf("8/33");
    }else if(strcmp(first,"Sat") == 0 || strcmp(first,"Sun") == 0){
        printf("8/32");
    }else{
        printf("8/31");
    }
    return 0;
}