ミタルシ君はCafeCoder Test 003の開催の記念に $A^2 \le 3B$ なる整数 $A,\ B,\ C$ を貰いました。このままだと大きすぎて管理できないので、この $3$ つの整数を次の条件を満たす複素数$\ x,\ y,\ z$ に分割したいです。

$$
\begin{cases}
x + y + z = A \
xy + yz + zx = B \
xyz = C \
\end{cases}
$$

$A,\ B,\ C$ が与えられるので，題意の条件を満たす複素数 $(x,\ y,\ z)$ の組を1つ求め，$x,\ y,\ z$ のうち実数であるものをすべて空白区切りで出力してください。そのような複素数の組や実数が存在しない場合は，:(と出力してください。

• $-10000 \le A,\ B,\ C\le 10000$
• $A^2 \le 3B$
• 入力は全て整数

小課題

1. (15点)$\ (x,\ y,\ z)\ $のうち，少なくとも1つは正の整数となるような組が必ず存在する
2. (35点)$\ (x,\ y,\ z)\ $のうち，少なくとも1つは整数となるような組が必ず存在する
3. (250点) 追加の制約はない

入力は以下の形式で与えられる

$A$ $B$ $C$

答えを出力してください。ただし，絶対誤差または相対誤差が $0.0001$ 以下のとき正解とみなされます。