#include <bits/stdc++.h>

int main() {
    long n1,n2,n3,n4,n5,n6;
    std::cin >> n1 >> n2 >> n3 >> n4 >> n5 >> n6;
    long t = n1 + n3 + n5;
    if (t % 2 == 0) {
        std::cout << ":-)";
    } else {
        std::cout << ":-(";
    }
}