描述

给定一个长度为N(0<n<=10000)的序列,保证每一个序列中的数字a[i]是小于maxlongint的非负整数 ,编程要求求出整个序列中第k大的数字减去第k小的数字的值m,并判断m是否为质数。(0<k<=n)

输入格式

第一行为2个数n,k(含义如上题)
第二行为n个数,表示这个序列

输出格式

如果m为质数则
第一行为'YES'(没有引号)
第二行为这个数m
否则 
第一行为'NO'
第二行为这个数m

样例输入

5 2
1 2 3 4 5

样例输出

YES
2

数据范围与约定

20%数据满足0<n<=10
50%数据满足0<n<=5000
100%数据满足0<n<=10000

样例解释

对于第K大的详细解释:
如果一个序列为1 2 2 2 2 3
第1大 为3
第2大 为2
第3大 为2
第4大 为2
第5大 为1
第K小与上例相反

另外需要注意的是
最小的质数是2,如果小于2的话,请直接输出NO

来源

TYVJ