#include <bits/stdc++.h>
using namespace std;
int gcd(int x, int y) {
  if (x < y) swap(x, y);
  while (y) {
    int temp = x;
    x = y;
    y = temp % x;
  }
  return x;
}
int main() {
  int w, y, mx;
  cin >> w >> y;
  mx = max(w, y);
  int a = 6 - mx + 1, _gcd = gcd(6, a);
  cout << a / _gcd << "/" << 6 / _gcd;
}
