#include <stdio.h>
int main(void){
    char d1[4];
    char d2[4];
    int omake = 0;
    scanf( "%s %s", d1, d2 );
    if( strcmp( d1, "Sat" ) == 0 ){
        omake++;
    }else if( strcmp( d1, "Sun" ) == 0 ){
        omake++;
    }
    if( strcmp( d2, "Sat" ) == 0 ){
        omake++;
    }else if( strcmp( d2, "Sun" ) == 0 ){
        omake++;
    }
    printf( "8/3%d", 1 + omake );
}