#include <bits/stdc++.h>
#include <iostream>
#include <string>
#include <vector>

using namespace std;
#define rep(i,n) for(int i=0;i<n;i++)
#define rep1(i,n) for(int i=1;i<n-1;i++)
typedef long long ll;

int main(){
  int a1,b1,a2,b2,a3,b3;
  cin >> a1 >> b1 >> a2 >> b2 >> a3 >> b3;
  int ans = a1+a2+a3;
  if(ans%2==0)cout << ":-)" << endl;
  else cout << ":-(" << endl;
}