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