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() {
  double m, n, a, b, c, x, y, z, q, k;
  scanf("%lf %lf", &m, &n);
  x = 1.000000;
  y = 0.83333333333333337;
  z = 0.66666666666666663;
  a = 0.500000;
  b = 0.33333333333333331;
  c = 0.16666666666666666;
  if (n <= m) {
    q = 7 - m;
    if (q / 6 == x)
      printf("1/1\n");
    else if (q / 6 == y)
      printf("5/6\n");
    else if (q / 6 == z)
      printf("2/3\n");
    else if (q / 6 == a)
      printf("1/2\n");
    else if (q / 6 == b)
      printf("1/3\n");
    else if (q / 6 == c)
      printf("1/6\n");
  } else {
    q = 7 - n;
    if (q / 6 == x)
      printf("1/1\n");
    else if (q / 6 == y)
      printf("5/6\n");
    else if (q / 6 == z)
      printf("2/3\n");
    else if (q / 6 == a)
      printf("1/2\n");
    else if (q / 6 == b)
      printf("1/3\n");
    else if (q / 6 == c)
      printf("1/6\n");
  }
  return 0;
}
