main :-
	read_num(A),
	read_num(B),
        read_num(C),
        read_num(K),
	magic(A, B, C, K),
	write('Yes'),
	nl,
	halt.
main :- write('No'),
	nl,
	halt.


magic(A, B, C, K) :-
        K >= 0,
        B > A,
        C > B,
        !.
magic(A, B, C, K) :-
        K >= 0,
        NewA is A * 2,
        NewK is K - 1,
        magic(NewA, B, C, NewK).
magic(A, B, C, K) :-
        K >= 0,
        NewB is B * 2,
        NewK is K - 1,
        magic(A, NewB, C, NewK).
magic(A, B, C, K) :-
        K >= 0,
        NewC is C * 2,
        NewK is K - 1,
        magic(A, B, NewC, NewK).
	

read_str(S) :-
        read_string(current_input, ' \n', '', _, S).

read_num(N) :-
	read_str(S),
	number_string(N, S).
