1. 缺少3个样例输入。
2. 输入时应换行。
3. 输出时 Yes/No 和数字之间应有换行。 AtCoder输入输出样例：

输入#1：

4 5 3 1
5 2 6 5
6 3 4 8 2

输出#1：

Yes
3

输入#2：

4 5 2 1
5 2 6 5
6 3 4 8 2

输出#2：

No
3

输入#3：

1 15 14 86
92
47 98 3 71 37 46 87 39 75 65 100 44 91 85 52

输出#3：

Yes
1

输入#4：

20 1 1 91
40 66 82 48 3 46 25 51 65 12 96 66 40 97 100 13 62 98 6 1
68

输出#4：

No
8