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() {
  int w, y, s = 0, p = 0;
  scanf("%d %d", &w, &y);
  if (w >= y) {
    if (w == 6)
      printf("0/6\n");
    else if (w == 1)
      printf("1\n");
    else if (w < 6 && w > 1) {
      s = (6 - w) + 1;
      if (s % 2 == 0)
        printf("%d/3\n", s / 2);
      else if (s % 3 == 0)
        printf("%d/2\n", s / 3);
      else
        printf("%d/6\n", s);
    }
  }
  if (y > w) {
    if (y == 6)
      printf("0/6\n");
    else if (y == 1)
      printf("1\n");
    else if (y < 6 && y > 1) {
      p = (6 - y) + 1;
      if (p % 2 == 0)
        printf("%d/3\n", p / 2);
      else if (p % 3 == 0)
        printf("%d/2\n", p / 3);
      else
        printf("%d/6\n", p);
    }
  }
  return 0;
}
