#include <bits/stdc++.h>
using namespace std;
int main() {
  long long y, w;
  cin >> y >> w;
  long long mx = max(y, w);
  long long res = (6 - mx) + 1;
  if ((double)6 / res == 1)
    cout << "1/1";
  else if ((double)res / 6 == 0)
    cout << "0/1";
  else {
    if (res % 2 == 0) {
      cout << res / 2 << "/" << 6 / 2;
    } else if (res % 3 == 0) {
      cout << res / 3 << "/" << 6 / 3;
    } else
      cout << res << "/" << 6;
  }
}
