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