#include <bits/stdc++.h>
using namespace std;

char s1[10],s2[10];

int main(){
    scanf("%s %s",s1,s2);
    if((strcmp(s1,"Sun") == 0 || strcmp(s1,"Sat") == 0) && !(strcmp(s2,"Sun") == 0 || strcmp(s2,"Sat") == 0)){
        printf("8/32");
    }else if((strcmp(s1,"Sun") == 0 || strcmp(s1,"Sat") == 0) && (strcmp(s2,"Sun") == 0 || strcmp(s2,"Sat") == 0)){
        printf("8/33");
    }else{
        printf("8/31");
    }
    return 0;
}