#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, maior, numero;
  cin >> maior >> n;
  if (n > maior) {
    maior = n;
  }
  numero = 7 - maior;
  int total = 6;
  if (numero % 2 == 0) {
    numero /= 2;
    total /= 2;
  }
  if (numero % 3 == 0) {
    numero /= 3;
    total /= 3;
  }
  cout << numero << "/" << total;
}
