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

int main(void){
  char str_cmp[2][4]={"Sat", "Sun"};

  char str[2][4];
  scanf(" %s %s", str[0], str[1]);

  if(strcmp(str[0], str_cmp[0]) == 0 || strcmp(str[0], str_cmp[1]) == 0){
    if(strcmp(str[1], str_cmp[0]) == 0 || strcmp(str[1], str_cmp[1]) == 0){
      printf("8/33\n");
    }else{
      printf("8/32\n");
    }
  }else{
    printf("8/31\n");
  }

  return 0;
}