#include <bits/stdc++.h>

int ri() {
	int n;
	scanf("%d", &n);
	return n;
}
int main() {
	int res = 0;
	for (int i = 0; i < 3; i++) {
		int a = ri(), b = ri();
		res += a & 1;
	}
	std::cout << (!res ? ":-)" : ":-(") << std::endl;
	return 0;
}