P27296 [AtCoder] Magic 2
入门
题目描述

Problem Description

M-kun has the following $3$ cards:

  • A red card with the integer $A$ written on it
  • A green card with the integer $B$ written on it
  • A blue card with the integer $C$ written on it

He is a genius magician and can perform the following operation up to $K$ times:

  • Choose one of the $3$ cards and double the integer written on it.

After performing the operations, the magic is successful if the following conditions are simultaneously met:

  • The integer on the green card is strictly greater than the integer on the red card.
  • The integer on the blue card is strictly greater than the integer on the green card.

Determine whether it is possible to make the magic successful.

Input Format

The input is given from the standard input in the following format:

$ A $ $ B $ $ C $ $ K $

Output Format

If it is possible to make the magic successful, output Yes.
Otherwise, output No.

Sample Input and Output

Sample Input #1

7 2 5
3

Sample Output #1

Yes

Sample Input #2

7 4 2
3

Sample Output #2

No

Notes/Hints

Constraints

  • $1 \leq A, B, C \leq 7$
  • $1 \leq K \leq 7$
  • All inputs are integers

Sample Explanation 1

For example, if the following operations are performed, the magic can be successful:
- First operation: Choose the blue card. The red card has $7$, the green card has $2$, and the blue card has $10$.
- Second operation: Choose the green card. The red card has $7$, the green card has $4$, and the blue card has $10$.
- Third operation: Choose the green card. The red card has $7$, the green card has $8$, and the blue card has $10$.

Sample Explanation 2

No matter how M-kun performs the operations, he cannot make the magic successful within $3$ operations.

输入格式

见题面 Input 部分

输出格式

见题面 Output 部分

样例输入
7 2 5 3
样例输出
Yes