#include <bits/stdc++.h>
#ifdef _DEBUG
#include "debug.hpp"
#else
#define debug(...)
#endif
#define fastIO (cin.tie(0), cout.tie(0), ios::sync_with_stdio(false))
#define rep(i, n) for (int i = 0; i < (n); ++i)
#define precise(i) fixed << setprecision(i)
using ill = int64_t;
using ull = uint64_t;
using namespace std;
using std::cout;

void solve() {
  vector<int> A(3);
  vector<int> B(3);

  int n;
  rep(i, 3) {
    cin >> n;
    A.at(i) = n;
    cin >> n;
    B.at(i) = n;
  }

  int oddCnt = 0;
  for (const auto a : A)
    if (a % 2 != 0)
      oddCnt++;

  if (oddCnt == 1 || oddCnt == 3)
    cout << ":-(" << '\n';
  else
    cout << ":-)" << '\n';
}

void wrapper() {
  rep(i, 3) {
    cout << "[TEST " << i << "]\n";
    solve();
    cout << "\n";
  }
}

int main() {
  fastIO;
#ifdef _DEBUG
  wrapper();
#else
  solve();
#endif
}