package main

import (
	"bufio"
	"fmt"
	"math"
	"os"
	"strconv"
	"strings"
)

func main()  {
	sc := bufio.NewScanner(os.Stdin)
	var s string
	if sc.Scan() {
		s = sc.Text()
	}
	slice := strings.Split(s, " ")
	sum := 0.0
	for i := 0; i < len(slice); i += 2 {
		a, _ := strconv.Atoi(slice[i])
		b, _ := strconv.Atoi(slice[i + 1])
		sum += math.Pow(float64(a), float64(b))
	}
	t := int64(sum) % 2
	if t != 0 {
		fmt.Print(":-(")
	} else {
		fmt.Print(":-)")
	}
}