L = list(map(int, input().split()))

print([':-(', ':-)'][sum(L[::2]) % 2 == 0])