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

int main(void) {
  char s1[4], s2[4];
  scanf("%s %s", s1, s2);

  if ((strcmp(s1, "Sat")==0 || strcmp(s1, "Sun")==0) && (strcmp(s2, "Sat")!=0 && strcmp(s2, "Sun")!=0)) {
    printf("8/32\n");
  } else if ((strcmp(s1, "Sat")==0 && strcmp(s2, "Sun")==0) || (strcmp(s1, "Sun")==0 && strcmp(s2, "Sat")==0)) {
    printf("8/33\n");
  } else {
    printf("8/31\n");
  }
  return 0;
}