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

int main(void){
    
    char a[4],b[4];
    
    scanf("%s",a);
    scanf("%s",b);
   
    if(strcmp(a, "Sat")==0&&strcmp(b, "Sat")==0)
        printf("8/33");
    if(strcmp(a, "Sat")==0&&strcmp(b, "Sun")==0)
        printf("8/33");
    if(strcmp(a, "Sun")==0&&strcmp(b, "Sat")==0)
        printf("8/33");
    if(strcmp(a, "Sun")==0&&strcmp(b, "Sun")==0)
        printf("8/33");
    
    if(strcmp(a, "Sat")==0&&strcmp(b, "Sat")!=0&&strcmp(b, "Sun")!=0)
        printf("8/32");
    if(strcmp(a, "Sun")==0&&strcmp(b, "Sat")!=0&&strcmp(b, "Sun")!=0)
        printf("8/32");
    
    if(strcmp(a, "Sat")!=0&&strcmp(a, "Sun")!=0&&strcmp(b, "Sat")!=0&&strcmp(b, "Sun")!=0)
        printf("8/31");
    if(strcmp(a, "Sat")!=0&&strcmp(a, "Sun")!=0&&strcmp(b, "Sat")==0)
        printf("8/31");
    if(strcmp(a, "Sat")!=0&&strcmp(a, "Sun")!=0&&strcmp(b, "Sun")==0)
        printf("8/31");
    
    return 0;
}