let rec fix f x = f (fix f) x
let _ = Scanf.scanf "%d" @@ fun n ->
  fix (fun f x ->
    if x > 50000 then ":("
    else if x * 108 / 100 = n then string_of_int x
    else f (x+1)) 1
  |> print_endline
