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

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