#include <bits/stdc++.h>
using namespace std;
int main() {
  long long n, a, b;
  cin >> a >> b;
  int up = 6 - max(a, b) + 1;
  int down = 6;
  if (down % up == 0) {
    down = down / up;
    up = 1;
  } else if (up % 2 == 0) {
    up = up / 2;
    down = down / 2;
  }
  cout << up << "/" << down << endl;
  return 0;
}
