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 gcd(int a, int b) { return a % b == 0 ? b : gcd(b, a % b); }
int main() {
  int y, w, max, a, b, t;
  while (scanf("%d%d", &y, &w) != EOF) {
    if (y > w)
      max = y;
    else
      max = w;
    a = 6 - max + 1;
    b = 6;
    t = gcd(a, b);
    a /= t;
    b /= t;
    printf("%d/%d\n", a, b);
  }
  return 0;
}
