#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>
#include <math.h>
int main(void)
{
    char str1[10]="";
    char str2[10]="";
    int day=31;
    scanf("%s %s",str1,str2);
    if(strcmp(str1,"Sat")==0||strcmp(str1,"Sun")==0)
    {
        day++;
    }
    if(strcmp(str2,"Sat")==0||strcmp(str2,"Sun")==0)
    {
        day++;
    }
    printf("8/%d",day);
}