#include <bits/stdc++.h>
using namespace std;
int main() {
  int y, w, n, d = 6;
  cin >> y >> w;
  y = max(y, w);
  n = 7 - y;
  w = n;
  for (int i = 2; i <= w; i++) {
    while (n % i == 0 && d % i == 0) {
      n /= i;
      d /= i;
    }
  }
  cout << n << "/" << d;
  return (0);
}
