6 6
 1 4
 4 4
 3 3
 6 4
 6 3
 5 4
 5 6
 3 4
 1 3
 3 2
 5 5
 1 1
 2 1
 3 1
 3 5
 1 6
 6 5
 2 3
 4 3
 2 2
 3 6
 1 2
 6 1
 2 5
 4 5
 1 5
 6 2
 4 6
 5 1
 4 1
 5 2
 2 4
 2 6
 5 3

1/6
 1/2
 1/2
 2/3
 1/6
 1/6
 1/3
 1/6
 1/2
 2/3
 2/3
 1/3
 1/1
 5/6
 2/3
 1/3
 1/6
 1/6
 2/3
 1/2
 5/6
 1/6
 5/6
 1/6
 1/3
 1/3
 1/3
 1/6
 1/6
 1/3
 1/2
 1/3
 1/2
 1/6
 1/3

#include <bits/stdc++.h>
int main(void) {
  int Y, W;
  int biggest;
  int chance;
  char result[] = {'0', '/', '0'};
  scanf("%i %i", &Y, &W);
  if (Y > W)
    biggest = Y;
  else
    biggest = W;
  chance = 6 - biggest + 1;
  switch (chance) {
    case 1:
      result[0] = '1';
      result[1] = '/';
      result[2] = '6';
      break;
    case 2:
      result[0] = '1';
      result[1] = '/';
      result[2] = '3';
      break;
    case 3:
      result[0] = '1';
      result[1] = '/';
      result[2] = '2';
      break;
    case 4:
      result[0] = '2';
      result[1] = '/';
      result[2] = '3';
      break;
    case 5:
      result[0] = '5';
      result[1] = '/';
      result[2] = '6';
      break;
    case 6:
      result[0] = '6';
      result[1] = '/';
      result[2] = '6';
      break;
  }
  printf("%s \n", result);
}
