#include<bits/stdc++.h>
using namespace std;
inline int rd(char c[]){
  int i, sz=0;
  for(;;){
    i = getchar_unlocked();
    if(i!=' '&&i!='\n'&&i!='\r'&&i!='\t'&&i!=EOF){
      break;
    }
  }
  c[sz++] = i;
  for(;;){
    i = getchar_unlocked();
    if(i==' '||i=='\n'||i=='\r'||i=='\t'||i==EOF){
      break;
    }
    c[sz++] = i;
  }
  c[sz]='\0';
  return sz;
}
inline void wt_L(char a){
  putchar_unlocked(a);
}
inline void wt_L(const char c[]){
  int i=0;
  for(i=0;c[i]!='\0';i++){
    putchar_unlocked(c[i]);
  }
}
char S1[5];
char S2[5];
int main(){
  rd(S1);
  rd(S2);
  if(S1[0]=='S' && S2[0]=='S'){
    wt_L("8/33");
    wt_L('\n');
  }
  else if(S1[0]=='S'){
    wt_L("8/32");
    wt_L('\n');
  }
  else{
    wt_L("8/31");
    wt_L('\n');
  }
  return 0;
}
// cLay varsion 20190626-1

// --- original code ---
// char S1[5], S2[5];
// {
//   rd(S1,S2);
//   if(S1[0]=='S' && S2[0]=='S'){
//     wt("8/33");
//   } else if(S1[0]=='S'){
//     wt("8/32");
//   } else {
//     wt("8/31");
//   }
// }