### 问题描述 小蓝特别喜欢数字 $2$ ，他认为一个数组是 **美丽** 的，当且仅当相邻两个元素中较大的那个不超过较小的那个的两倍。 即对于任意的 $i$ $(1\le i\le n-1)$，都满足条件：$\max(a[i], a[i+1]) \le \min(a[i], a[i+1]) \times 2$ 。 例如，数组 $[1, 2, 3, 4, 5, 6]$ 和 $[1, 2, 4]$ 是 **美丽** 的。而数组 $[1, 3]$ 和 $[1, 2, 4, 9]$ 则不是。 给定一个由 $n$ 个整数组成的数组 $a$。 给定 $k$ 个万能卡牌。 你可以消耗 $1$ 张万能卡牌，往数组的任意位置插入一个任意数字。 如果可以使用不超过 $k$ 张万能卡牌使得数组变成美丽的，则输出 `Yes` ，反之输出 `No` 。 ### 输入格式 第一行包含两个整数 $n, k$ $(2\le n, k \le 50)$，表示数组 $a$ 的长度和万能卡牌的张数。 第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$ $(1\le a_i\le 50)$，表示数组 $a$ 的元素。 ### 输出格式 输出一个行一个字符串： - 若可以使用不超过 $k$ 张万能卡牌使得数组变成美丽的，则输出 `Yes` 。 - 若无法使用不超过 $k$ 张万能卡牌使得数组变成美丽的，则输出 `No` 。 ### 样例输入1 ```txt 4 4 4 2 10 1 ``` ### 样例输出1 ```txt No ``` ### 样例输入2 ```txt 4 5 4 2 10 1 ``` ### 样例输出2 ```txt Yes ```