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

int main(void)
{
  char s1[4]={};
  char s2[4]={};

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