Để thu hút khách hàng mua vé sổ số, công ty sổ số XYZ ngoài việc hàng ngày quay số và trao giải cho khách hàng công ty còn trao giải Độc đắc cho khách hàng sau mỗi chu kỳ ~n~ ngày. Để được giải Độc đắc thì khách hàng phải có đủ ~n~ vé số của ~n~ ngày, vé số thứ ~i~ phải có giá trị bằng ~a_i~.

Mới đây thầy NHM là người duy nhất nhận được giải Độc đắc và đã nhận được số tiền rất rất lớn. Thầy quyết định dùng tiền của mình mới nhận được để đầu tư mua nhà. Dọc theo tuyến phố mới là dãy nhà đang được giao bán, các ngôi nhà đánh số từ ~1, 2, \dots, n~. Thầy dự định dùng dãy số ~a~ may mắn ở trên để tạo ra tất cả các dãy con, nếu tổng của dãy con nào đó là một số nguyên tố thì thầy sẽ mua ngôi nhà được đánh số bằng tổng đó.

Tuy nhiên vợ của thầy lại không muốn đầu tư mua nhà. Cuối cùng họ đã thống nhất như sau: "Vợ của thầy được phép bỏ đi ~k~ phần tử nào đó trong dãy ~a~, khi đó thầy NMH chỉ được phép sử dụng ~n - k~ phần tử còn lại".

Yêu cầu: Hãy lập trình giúp vợ thầy NMH chọn ra ~k~ phần tử cần bỏ đi sao cho số ngôi nhà mà thầy NMH sẽ mua là ít nhất có thể.

Input

• Dòng đầu chứa hai số nguyên ~n, k~ (~1 \le n \le 100; 0 \le k \le 1~).
• Dòng thứ hai chứa ~n~ số nguyên dương ~a_1, a_2, \dots, a_n~ (~1 \le a_i \le 10^3~).

Output

• Một số nguyên duy nhất là số nhà ít nhất mà thầy NMH có thể mua.

Sample Input 1

3 0
2 6 3

Sample Output 1

4

Sample Input 2

3 1
2 6 5

Sample Output 2

1