//#define NDEBUG
#include <cstddef>
#include <cstdint>
#include <vector>

namespace n91 {

using i8 = std::int_fast8_t;
using i32 = std::int_fast32_t;
using i64 = std::int_fast64_t;
using u8 = std::uint_fast8_t;
using u32 = std::uint_fast32_t;
using u64 = std::uint_fast64_t;
using isize = std::ptrdiff_t;
using usize = std::size_t;

constexpr usize operator"" _z(unsigned long long x) noexcept {
  return static_cast<usize>(x);
}

class rep {
  const usize f, l;

public:
  class itr {
    friend rep;
    usize i;
    constexpr itr(const usize x) noexcept : i(x) {}

  public:
    void operator++() noexcept { ++i; }
    constexpr usize operator*() const noexcept { return i; }
    constexpr bool operator!=(const itr x) const noexcept { return i != x.i; }
  };
  constexpr rep(const usize first, const usize last) noexcept
      : f(first), l(last) {}
  constexpr itr begin() const noexcept { return itr(f); }
  constexpr itr end() const noexcept { return itr(l); }
};
class revrep {
  const usize f, l;

public:
  class itr {
    friend revrep;
    usize i;
    constexpr itr(usize x) noexcept : i(x) {}

  public:
    void operator++() noexcept { --i; }
    constexpr usize operator*() const noexcept { return i; }
    constexpr bool operator!=(const itr x) const noexcept { return i != x.i; }
  };
  constexpr revrep(usize first, usize last) noexcept : f(--first), l(--last) {}
  constexpr itr begin() const noexcept { return itr(l); }
  constexpr itr end() const noexcept { return itr(f); }
};
template <class T> using vec_alias = std::vector<T>;
template <class T> auto md_vec(const usize n, const T &value) {
  return std::vector<T>(n, value);
}
template <class... Args> auto md_vec(const usize n, Args... args) {
  return std::vector<decltype(md_vec(args...))>(n, md_vec(args...));
}
template <class T> constexpr T difference(const T &a, const T &b) {
  return a < b ? b - a : a - b;
}

} // namespace n91

#include <cstdint>
#include <limits>
#include <vector>

class eratosthenes {
  using field_type = std::uint_fast64_t;

public:
  using container_type = std::vector<field_type>;
  using size_type = typename container_type::size_type;

protected:
  static constexpr size_type WordSize =
      static_cast<size_type>(std::numeric_limits<field_type>::digits);

  container_type c;

public:
  eratosthenes() noexcept : c() {}
  explicit eratosthenes(const size_type max)
      : c(max / WordSize + static_cast<size_type>(1),
          ~static_cast<field_type>(0)) {
    c[static_cast<size_type>(0)] &= ~static_cast<field_type>(3);
    for (size_type i = static_cast<size_type>(2); i * i <= max; ++i) {
      if ((c[i / WordSize] & static_cast<field_type>(1) << i % WordSize) !=
          static_cast<field_type>(0)) {
        for (size_type j = i * i; j <= max; j += i) {
          c[j / WordSize] &= ~(static_cast<field_type>(1) << j % WordSize);
        }
      }
    }
  }

  bool test(const size_type i) const noexcept {
    return (c[i / WordSize] & static_cast<field_type>(1) << i % WordSize) !=
           static_cast<field_type>(0);
  }
  bool operator[](const size_type i) const noexcept {
    return (c[i / WordSize] & static_cast<field_type>(1) << i % WordSize) !=
           static_cast<field_type>(0);
  }
};

#include <algorithm>
#include <array>
#include <iostream>
#include <string>
#include <utility>

namespace n91 {

void main_() {
  std::string s1, s2, ans;
  std::cin >> s1 >> s2;
  const auto is_kyuzitsu = [](const std::string &s) {
    return s == "Sun" || s == "Sat";
  };
  if (is_kyuzitsu(s1) && !is_kyuzitsu(s2)) {
    ans = "8/32";
  } else if (is_kyuzitsu(s1) && is_kyuzitsu(s2)) {
    ans = "8/33";
  } else {
    ans = "8/31";
  }
  std::cout << ans << std::endl;
}

} // namespace n91

int main() {
  n91::main_();
  return 0;
}