// yukicoder 892 タピオカ
// 2019.9.27 bal4u

#include <stdio.h>

int main()
{
	int a1, b1, a2, b2, a3, b3;
	
	scanf("%d%d%d%d%d%d", &a1, &b1, &a2, &b2, &a3, &b3);
	if ((a1 + a2 + a3) & 1) puts(":-(");
	else puts(":-)");
	return 0;
}