#include <bits/stdc++.h>
using namespace std;
int main() {
  ios ::sync_with_stdio(0);
  cin.tie(0);
  int y, w, temp, denominator = 6;
  cin >> y >> w;
  if (y == 1 && w == 1) {
    temp = 1;
    denominator = 1;
  } else {
    if (y > w) {
      temp = 6 - y + 1;
      if (temp % 2 == 0) {
        temp /= 2;
        denominator /= 2;
      } else if (temp % 3 == 0) {
        temp /= 3;
        denominator /= 3;
      }
    } else {
      temp = 6 - w + 1;
      if (temp % 2 == 0) {
        temp /= 2;
        denominator /= 2;
      } else if (temp % 3 == 0) {
        temp /= 3;
        denominator /= 3;
      }
    }
  }
  cout << temp << '/' << denominator;
  return 0;
}
