#include <bits/stdc++.h>
using namespace std;
using namespace chrono;
#if __has_include(<atcoder/all>)
#include <atcoder/all>
using namespace atcoder;
#endif

int main() {
    int64_t a, b, c, d, e, f;
    cin >> a >> b >> c >> d >> e >> f;

    if ((a * b + c * d + e * f) % 2 == 0) {
        cout << ":-)" << endl;
    } else {
        cout << ":-(" << endl;
    }

    return 0;
}