#include <bits/stdc++.h>
using namespace std;
signed main() {
  long long t = 1;
  while (t--) {
    long long a, b, s;
    cin >> a >> b;
    s = 6 - max(a, b) + 1;
    switch (s) {
      case 1:
        cout << 1 << '/' << 6;
        break;
      case 2:
        cout << 1 << "/" << 3;
        break;
      case 3:
        cout << 1 << '/' << 2;
        break;
      case 4:
        cout << 2 << "/" << 3;
        break;
      case 5:
        cout << 5 << '/' << 6;
        break;
      case 6:
        cout << 1 << "/" << 1;
        break;
    }
  }
  return 0;
}
