Scanf.scanf "%d %d %d %d" (fun a b c k ->
    let calc a b =
        let rec loop b i =
            if a < b then i else loop (b * 2) (i + 1)
        in
        loop b 0
    in
    let m1 = calc a b in
    let m2 = calc (b lsl m1) c in
    print_endline @@ if m1 + m2 <= k then "Yes" else "No"
)