#include <bits/stdc++.h>
using namespace std;
int main() {
  int max1 = 0, ct = 0;
  int y, w;
  cin >> y >> w;
  max1 = max(y, w);
  for (int i = 0; i <= (6 - max1); ++i) {
    ++ct;
  }
  if (ct == 1) {
    cout << "1/6";
  }
  if (ct == 2) {
    cout << "1/3";
  }
  if (ct == 3) {
    cout << "1/2";
  }
  if (ct == 4) {
    cout << "2/3";
  }
  if (ct == 5) {
    cout << "5/6";
  }
  if (ct == 6) {
    cout << "1/1";
  }
  return 0;
}
