#include <bits/stdc++.h>
using namespace std;
int gcd(int x, int y) {
  if (x < y) swap(x, y);
  return y == 0 ? x : gcd(y, x % y);
}
int main() {
  int n, x, y;
  scanf("%d%d", &x, &y);
  n = max(x, y);
  n = 6 + 1 - n;
  int g = gcd(n, 6);
  printf("%d/%d\n", n / g, 6 / g);
  return 0;
}
