Để chuẩn bị cho Kỳ thi học sinh giỏi môn Tin học cấp tỉnh năm học 2024 - 2025. Ban tổ chức cần chuẩn bị phòng máy cho phần thi lập trình. Phòng máy có ~m~ máy tính, công việc của ban tổ chức là sử dụng ổ điện có dây để cung cấp điện cho ~m~ máy tính. Phòng máy chỉ có một ổ điện có một khe cắm ở trên tường là đang có điện và được gọi là ổ điện nguồn. Hiện tại trong nhà kho có ~n~ ổ cắm điện có dây, mỗi ổ điện có một số khe cắm và một đường dây nối có phích cắm để có thể cắm đến ổ điện khác. Ta gọi các ổ điện này là ổ điện rời. Một ổ điện rời có điện khi mà phích cắm của nó được cắm vào ổ điện nguồn hoặc cắm vào khe của một ổ điện rời đang có điện. Chú ý là chỉ có một ổ điện rời được cắm vào ổ điện nguồn và mỗi khe chỉ có duy nhất một phích cắm được cắm vào.

(Ổ cắm điện rời có 6 khe cắm)

Để cung cấp điện cho ~m~ máy tính, mỗi máy tính cần được cắm vào một khe của ổ điện rời đang có điện. Cho biết số khe cắm của ổ điện rời thứ ~i~ là ~a_i~ ~(1 \le a_i \le 10;\ i = 1, 2, 3, ..., n)~. Ban tổ chức muốn sử dụng số ổ điện rời với số lượng ít nhất nhưng vẫn có thể cung cấp nguồn điện cho ~m~ máy tính.

Yêu cầu

Tính xem số lượng ổ điện rời ít nhất cần sử dụng là bao nhiêu.

Dữ liệu đầu vào

Gồm hai dòng:

• Dòng thứ nhất chứa hai số nguyên dương ~n~ và ~m~ tương ứng là số ổ điện rời và số máy tính.
• Dòng thứ hai chứa ~n~ số nguyên dương ~a_1, a_2, ..., a_n~ ~(1 \le a_i \le 10)~ lần lượt là số khe cắm của ~n~ ổ điện.

Dữ liệu đầu ra

Gồm một số nguyên duy nhất là số lượng ổ rời ít nhất cần sử dụng để cung cấp điện cho ~m~ máy tính. Nếu sử dụng cả ~n~ ổ điện rời mà không cung cấp điện cho ~m~ máy tính thì đưa ra ~-1~.

Ràng buộc dữ liệu

• Có 50% số test ~1 \le n, m \le 100;\ a_1 = a_2 = ... = a_n = 2~;
• Có 50% số test còn lại ~100 < n, m \le 1000~.

Ví dụ

Ví dụ 1

INPUT

3 4
3 2 2

OUTPUT

2

Ví dụ 2

INPUT

5 5
1 3 1 2 1

OUTPUT

-1