#include <bits/stdc++.h>
using namespace std;
template <class T>
inline T abs(const T& x) {
  return x > 0 ? x : -x;
}
template <class T>
inline T sqr(const T& x) {
  return x * x;
}
template <class T>
inline string tostr(const T& a) {
  ostringstream os("");
  os << a;
  return os.str();
}
const int inf = 1999999999;
const double pi = acos(-1.0);
const double eps = 1e-9;
inline char gc() {
  char c;
  while (isspace(c = getchar()))
    ;
  return c;
}
inline int gs(char* s) {
  fgets(s, 9999999, stdin);
  int l = strlen(s);
  while (l && isspace(s[l - 1])) s[--l] = 0;
  return l;
}
int gcd(int a, int b) {
  while (true) {
    a %= b;
    if (a == 0) return b;
    b %= a;
    if (b == 0) return a;
  }
}
int main() {
  int y, w;
  scanf("%d%d", &y, &w);
  int m = max(y, w);
  int ans = 6 - m + 1;
  int g = gcd(ans, 6);
  printf("%d/%d\n", ans / g, 6 / g);
  return 0;
}
