#include <iostream>
using namespace std;
typedef long long LL;
int main(int argc, char* argv[])
{	
	LL A1,B1,A2,B2,A3,B3;
	cin>>A1>>B1>>A2>>B2>>A3>>B3;
	LL X=A1+A2+A3;
	if (X%2==0){
		cout<<":-)"<<endl;
	}else{
		cout<<":-("<<endl;
	}
	return 0;
}