require 'bigdecimal'

inputs = gets.chomp.split.map(&:to_i).map { |i| BigDecimal(i.to_s) }
tapi = inputs[0]**inputs[1] + inputs[2]**inputs[3] + inputs[4]**inputs[5]
puts tapi % 2 == 0 ? ':-)' : ':-('