#include <bits/stdc++.h>
using namespace std;
int gcd(int a, int b) { return b == 0 ? a : gcd(b, a % b); }
int main() {
  int y, w;
  cin >> y >> w;
  int A = 6 - max(y, w) + 1;
  int B = 6;
  int C = gcd(A, B);
  A /= C, B /= C;
  cout << A << '/' << B << '\n';
  return 0;
}
