#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  int y, w;
  cin >> y >> w;
  int ans;
  ans;
  if (y >= w) {
    ans = 6 - y + 1;
  } else if (w >= y) {
    ans = 6 - w + 1;
  }
  if (ans == 6) {
    cout << 1 << '/' << 1 << endl;
  }
  if (ans == 1) {
    cout << 1 << '/' << 6 << endl;
  }
  if (ans == 2) {
    cout << 1 << '/' << 3 << endl;
  }
  if (ans == 3) {
    cout << 1 << '/' << 2 << endl;
  }
  if (ans == 4) {
    cout << 2 << '/' << 3 << endl;
  }
  if (ans == 5) {
    cout << 5 << '/' << 6 << endl;
  }
  return 0;
}
