#include <bits/stdc++.h>
using namespace std;
int gcd(int a, int b) {
  if (b == 0) return a;
  return gcd(b, a % b);
}
int main() {
  int a, b;
  cin >> a >> b;
  int c = max(a, b);
  int t = 6 - c + 1;
  int k = gcd(t, 6);
  cout << t / k << "/" << 6 / k << endl;
}
