#include <stdio.h>
int main(void){
	long long A, B, ans;
	for(int i = 0;i < 3;i ++){
		scanf("%lld%lld",&A, &B);
		long long tmp = 1;
		for(int j = 0;j < B;j ++){
			tmp *= A;
		}
		ans += tmp;
	}
	if(ans % 2 == 0){
		printf(":-)");
	}else{
		printf(":-(");
	}
}