fun readLargeInt () =
    valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn)


val () =
    let
        val a1 = readLargeInt ()
        val _ = readLargeInt ()
        val a2 = readLargeInt ()
        val _ = readLargeInt ()
        val a3 = readLargeInt ()
        val _ = readLargeInt ()

        
        val ans =
            if (a1 + a2 + a3) mod 2 = 0 then ":-)"
            else ":-("
    in
        print (ans ^ "\n")
    end