import sys
if sys.platform =='ios':
	import clipboard
	a=clipboard.get()
	a = a.split('\n')
	text = '\n'.join(a)
	with open('input_file.txt','w') as f:
		f.write(text)
	sys.stdin = open('input_file.txt')
	
A = list(map(int,input().split()))
tapi = 0
for i in range(0,5,2):
	tapi += A[i]**A[i+1]
	
if tapi%2 == 0:
	print(":-)")
else:
	print(":-(")