#include <bits/stdc++.h>
using namespace std;
int gcd(int x, int y) {
  while (x != y) {
    if (x > y)
      x = x - y;
    else if (x == 0) {
      return y;
    } else if (y == 0) {
      return x;
    } else
      y = y - x;
  }
  return x;
}
int main() {
  int y, w;
  cin >> y >> w;
  int n = 6 - (max(y, w)) + 1;
  int n6 = 6;
  int e = gcd(n, n6);
  cout << n / e << "/" << n6 / e << endl;
  return 0;
}
