#include <bits/stdc++.h>
using namespace std;
void huh() {}
int gcd(int a, int b) { return b == 0 ? a : gcd(b, a % b); }
int main() {
  int a, b, x;
  cin >> a >> b;
  x = 7 - max(a, b);
  int gc = gcd(x, 6);
  cout << x / gc << "/" << 6 / gc;
  return 0;
}
