#include <bits/stdc++.h> 

using i64 = long long; 
using u64 = unsigned long long; 
using u32 = unsigned; 

using u128 = unsigned __int128; 
using i128 = __int128; 

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

	bool ok = true;

	int t = 0;

	for(int i = 0; i < 3; i ++) {
		std::cin >> A[i];
		int B; std::cin >> B;
		if(A[i] % 2) ++ t;
	}

	if(t % 2) ok = false;
	else ok = true;

	if(ok) std::cout << ":-)\n";
	else std::cout << ":-(\n";
} 

int main() { 
	std::ios::sync_with_stdio(false); 
	std::cin.tie(nullptr); 

	int T = 1; 
	//std::cin >> T; 

	while (T--) { 
		solve(); 
	} 
	return 0; 
}