Description

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

Format

Input

第一行为 2 个数 n，k（含义如上题）

第二行为 n 个数，表示这个序列

Output

如果 m 为质数则

第一行为'YES'(没有引号)

第二行为这个数 m

否则

第一行为'NO'

第二行为这个数 m

Samples

5 2
1 2 3 4 5

YES
2

Limitation

20%数据满足 0<n<=10

50%数据满足 0<n<=5000

100%数据满足 0<n<=10000

a[i]<=maxlongint

Sample Descriptions

对于第 K 大的详细解释:

如果一个序列为 1 2 2 2 2 3

第 1 大 为 3

第 2 大 为 2

第 3 大 为 2

第 4 大 为 2

第 5 大 为 2

第 6 大 为 1

第 K 小与上例相反