#include <bits/stdc++.h>
int main() {
  int w, y, m, t, x;
  t = 6;
  scanf("%d %d", &w, &y);
  if (w == y)
    x = 7 - w;
  else if (w > y)
    x = 7 - w;
  else
    x = 7 - y;
  if (x % 2 == 0) {
    x = x / 2;
    t = t / 2;
  }
  if (x % 3 == 0) {
    x = x / 3;
    t = t / 3;
  }
  printf("%d/%d", x, t);
  return 0;
}
