#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;

int main() {
  int A1, A2, A3, B; cin >> A1 >> B >> A2 >> B >> A3 >> B;
  int ans = 0;
  if(A1%2 != 0) ans++;
  if(A2%2 != 0) ans++;
  if(A3%2 != 0) ans++;
  if(ans%2 == 0) cout << ":-)" << endl;
  else cout << ":-(" << endl;
}