#include<stdio.h>

int main(void){
    int A1,A2,A3,B1,B2,B3;
    scanf("%d%d%d%d%d%d", &A1,&B1,&A2,&B2,&A3,&B3);
    if((A1+A2+A3)%2==0){
        printf(":-)");
    }else{
        printf(":-(");
    }
}