#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(":-(");
    }
}