#include <bits/stdc++.h>
typedef long long ll;
int main()
{
    ll tapi[6];
    ll tapiall=0;
    for(int i=0;i<6;i++)
        std::cin >> tapi[i];
    for(int i=0;i<6;i+=2)
        tapiall+=std::pow(tapi[i],tapi[i+1]);
    if(tapiall%2==0)
        std::cout << ":-)" << std::endl;
    else
        std::cout << ":-(" << std::endl;
    return 0;
}