let () = Scanf.scanf "%d %d %d\n%d" @@ fun a b c k ->
  print_endline @@
  if
    List.fold_left (List.fold_left (List.fold_left ( || ))) false @@
    List.init (k + 1) @@ fun i ->
      List.init (k + 1 - i) @@ fun j ->
        List.init (k + 1 - i - j) @@ fun k ->
          let red = a lsl i in
          let green = b lsl j in
          let blue = c lsl k in
          green > red && blue > green
  then "Yes"
  else "No"