process.stdin.resume();
process.stdin.setEncoding('utf8');

var lines = [];
var reader = require('readline').createInterface({
  input: process.stdin,
  output: process.stdout
});
reader.on('line', (line) => {
  lines.push(line);
});
reader.on('close', () => {
    var i = lines[0].split(' ');
    var a = i[0];
    var a1 = i[1];
    var b = i[2];
    var b1 = i[3];
    var c = i[4];
    var c1 = i[5];
    
    var aa = a ** a1;
    var bb = b ** b1;
    var cc = c ** c1;
    
    var x = aa+bb+cc;
    
    if(x%2===0){
        console.log(':-)');
    }else{
        console.log(':-(')
    }
});