#include <stdio.h>

int main(void) {
  int a1, b1, a2, b2, a3, b3;
  scanf("%d %d %d %d %d %d", &a1, &b1, &a2, &b2, &a3, &b3);

  printf("%s\n", (a1+a2+a3)%2==0 ? ":-)": ":-(");
  return 0;
}