#include <bits/stdc++.h>

using namespace std;

using ll = long long;

using ld  = long double;

using pint = pair<int, int>;

using pll = pair<ll, ll>;

using pld = pair<ld, ld>;

const int INF=1e9+7;

const ll LINF=9223372036854775807;

const ll MOD=1e9+7;

const ld PI=acos(-1);

const ld EPS = 1e-9; //微調整用（EPSより小さいと0と判定など）

//MODINT

//変数名.nでint型の数値を受け取る

struct mint {

  int n;

  mint(int n_ = 0) : n(n_) {}

};

mint operator+(mint a, mint b) { a.n += b.n; if (a.n >= MOD) a.n -= MOD; return a; }

mint operator-(mint a, mint b) { a.n -= b.n; if (a.n < 0) a.n += MOD; return a; }

mint operator*(mint a, mint b) { return (long long)a.n * b.n % MOD; }

mint &operator+=(mint &a, mint b) { return a = a + b; }

mint &operator-=(mint &a, mint b) { return a = a - b; }

mint &operator*=(mint &a, mint b) { return a = a * b; }

int ii() { int x; scanf("%d", &x); return x; }

long long il() { long long x; scanf("%lld", &x); return x; }

string is() { string x; cin >> x; return x; }

char ic() { char x; cin >> x; return x; }

void oi(int x) { printf("%d ", x); }

void ol(long long x) { printf("%lld ", x); }

void od_nosp(double x) { printf("%.15f", x); } // 古い問題用

void od(double x) { printf("%.15f ", x); }

// long doubleで受け取り、fをLfなどに変えて出力すると、変な数値が出る

// それをなんとかするには独自の出力を作らなければならなそう

void os(const string &s) { printf("%s ", s.c_str()); }

void oc(const char &c) { printf("%c ", c); }

//GCC9.2.1に変わって動かなくなったので一旦消した そのうち原因を調べる

//auto op = [&](auto p) -> void{ cout << p; };

//auto ov = [&](auto vec) -> void{ cout << vec; };

#define o_map(v){cerr << #v << endl; for(const auto& xxx: v){cout << xxx.first << " " << xxx.second << "\n";}} //動作未確認

void br() { putchar('\n'); }

#define gcd __gcd //llは受け取ってくれない

int lcm(int a, int b){return a / gcd(a, b) * b;}

#define ALL(a) a.begin(),a.end() //sort(ALL(vec));

#define REP(i,m,n) for(ll i=(ll)(m) ; i < (ll) (n) ; i++ )

#define rep(i,n) REP(i,0,n)

#define MP(a,b) make_pair(a,b)

#define SORT_UNIQUE(c) (sort(c.begin(),c.end()), c.resize(distance(c.begin(),unique(c.begin(),c.end()))))

#define GET_POS(c,x) (lower_bound(c.begin(),c.end(),x)-c.begin())

#define PB push_back

#define SZ(x) ((int)(x).size) //size()がunsignedなのでエラー避けに

//4近傍（上下左右） rep(i, 2) にすると右・下だけに進む

vector<int> dx_4 = {1, 0, -1, 0};

vector<int> dy_4 = {0, 1, 0, -1};

// coutによるpairの出力（空白区切り）

template<typename T1, typename T2> ostream& operator<<(ostream& s, const pair<T1, T2>& p) {return s << "(" << p.first << " " << p.second << ")";}

// 空白区切りだけ --> return s << "(" << p.first << " " << p.second << ")";

// 見やすくしたいとき --> return s << "(" << p.first << " " << p.second << ")";

// coutによるvectorの出力（空白区切り）

template<typename T> ostream& operator<<(ostream& s, const vector<T>& v) {

  int len = v.size();

  for (int i = 0; i < len; ++i) {

    s << v[i]; if (i < len - 1) s << " "; //"\t"に変えるとTabで見やすく区切る

  }

  return s;

}

// coutによる多次元vectorの出力（空白区切り）

template<typename T> ostream& operator<<(ostream& s, const vector< vector<T> >& vv) {

  int len = vv.size();

  for (int i = 0; i < len; ++i) {

    s << vv[i] << endl;

  }

  return s;

}

//最大値、最小値を更新する。aよりbのが大きい（小さい）か等しければaを更新してtrueを返す。そうでなければ何もせずfalseを返す chmax(nowmax,x);

template<typename T>

bool chmax(T& a, T b){return (a = max(a, b)) == b;}

template<typename T>

bool chmin(T& a, T b){return (a = min(a, b)) == b;}

// -------- template end - //

// - global -------------- //

// ---------- global end - //

// - library ------------- //

//Dijkstra（今のところ経路復元はできない）

//vector<Weight>の形式で、sから全頂点への最短経路における総weightを返す。

//戻り値.at(t)でtへの最短経路の総weightになる

//Dijkstraのベースになるデータ構造を宣言

// !! 重み（コスト）の型をここで設定する !!

using Weight = ll; //<---ここ！！

const Weight INFW = numeric_limits<Weight>::max();

struct Edge{

    int from, to;

    Weight wei;

    // struct Edge のコンストラクタ

    Edge(int from_, int to_, Weight wei_):from(from_),to(to_),wei(wei_){}

};

// struct Edge のvectorをEdgesとする

typedef vector<Edge> Edges;

// グラフ全体の構造体を定義

// 実態は、各頂点に張られた辺たち（Edges）の集合体（Edgesのvector）

// Graph[v] は vector<頂点vに張られた辺>

struct Graph : public vector<Edges>{

  //struct Graphのコンストラクタ 引数Vを与える

    Graph(){ }

    Graph(int V): vector<Edges>(V){ }

    /*

    有向辺を追加する

    */

    void addEdge(int from, int to, Weight wei=1){

      // Graph[from頂点] （from頂点から張られたEdges）に新しい辺を追加する

      // 辺に重みの差が無い（全て1とみなせる）場合、重みを引数として渡さなくても1とみなして処理

        (*this)[from].PB(Edge(from, to, wei));

    }

    /*

    無向辺を追加する

    */

    void addUEdge(int u, int v, Weight wei=1){

      (*this)[u].PB(Edge(u, v, wei));

      (*this)[v].PB(Edge(v, u, wei));

    }

};

 

//ここから実際に使う関数

// Edge > Edge の比較は、重みの大小で評価

bool operator>(const Edge &a, const Edge &b){

    return a.wei>b.wei;

}

//戻り値のvector<Weight>にvec.at(頂点のidx)をすれば、各頂点に到達するまでに最低限必要な重みの合計（以降、累計重みと呼ぶ）が得られる

//dijkstra(Graph, スタート地点のidx) で呼び出す

// const は「関数内でGraphを変更しません」という意味で、&は単にコピーの時間を省くためと思われる

vector<Weight> dijkstra(const Graph &G, int src){

  // 

  // 型pwi : pair<その頂点に辿り着くまでの重み, 頂点番号> か？ だとしたら、pqという名前を変え、もっと分かりやすくしたい。例えば pair_wei_vertなど

  // ちなみにpwiはpair<weight, int>の略

    typedef pair<Weight, int> pwi;

    // 最小値を取り出すpr_q

    // 探索済みの頂点から行ける各頂点につき、pwi<累計重み, 行き先頂点>を格納

   priority_queue<pwi, vector<pwi>, greater<pwi>> pq;

    // pair {重み0, スタート地点}の追加

    pq.push(MP(0, src));

    // 頂点数を受け取っただけ

    int V = (int)G.size();

    // res はDP[]のようなもので、今回求める目的である「各頂点に辿り着くための最小の重み（最小累計重み）」のvector。

    // res[v] : vに辿り着く最小累計重み

    // res[v] == -1であれば、未到達

    // res[v] != -1であれば頂点vに到達済みで、到達済みであれば、イコール最短経路確定済となる（理由は後で）

    // ちなみにダイクストラを使う場合、重みは正（非負？）のはずだから、到達後のres値が負となることはない

    vector<Weight> res(V, -1);

    while(pq.size()){

      // pqから、重み最小のpwi（cost, vert）を取り出してpwi pに入れる

      // つまり、「今行ける場所の中で、最も累計重みの低い場所に行こうとしてみる」ということ

        auto p = pq.top(); pq.pop();

        Weight d = p.first;

        int v = p.second;

        // res[v]が非負、つまりvに過去に到達済みなら、何もせずすぐ次のループへ移動し、pqからは取り出して捨てただけとなる

        if(res[v] > -0.5)continue;

        // 上のifを抜けたということは、vに過去に到達してないので、今回のルートが「頂点vへの最短経路」だったことになる。（そう言える理由はループのところで出てくる）

        // これでres[v] つまりvへの最短経路での重み は確定であり、再度代入することはない

        res[v] = d;

        // Graph[v] すなわちvに張られた全てのEdgeについてループ

        for(const auto &edge : G[v]){

            int to = edge.to;

            Weight wei = edge.wei;

            

            // 枝刈り（res[to]が非負になってれば、既に探索済み = 頂点toの累計最小重みは確定しているので、pqに入れない）

            if (res[to] > -0.5) continue; 

              

            // pqに、今見ている「頂点v（さっきまでpqに入っていた中で最も到達までの重みの小さかった頂点）の到達までの重み（d = p.first） + wei（pから張られた辺の重み）, 行き先」を入れる。

            // つまり、pから辿り着ける先の頂点を全て入れていく

            // すると全ての頂点を見るのでV!とかすごく大きな量になりそうだが、「現状行ける全ての頂点に対して「累計どれだけの重みで行けるか」をpqに入れ、小さいものから出していく」ので、「今取り出した頂点vと重みのペアが、今残っているvへの行き方の中で、最短の行き方」

            pq.push(MP(d + wei, to));

        }

    }

    // 最終的に、resは「各頂点に辿り着くための最小重み」となっているので、それを返す

    return res;

}

// --------- library end - //

// - main() -------------- //

int main(){

  int n = ii();

  

  rep(i, 50000){

    if (floor(i * 1.08) == n) oi(i), exit(0);

  }

  

  os(":(");

// ---------- main() end - //

}



Measured memory_bytes: 256