Các bạn trẻ sắp tham dự kỳ thi duyên hải Bắc bộ năm 2021. Các bạn trẻ muốn chứng tỏ rằng việc học Tin học là đúng đắn và bước đầu tiến tới con đường theo đuổi tin học bằng một số thành tích nhỏ như có giải trong kỳ thi duyên hải chẳng hạn. Với mục tiêu đó, các bạn trẻ K54 quyết tâm học nhóm cùng nhau và tham gia vào lớp học của Mr Toàn để nâng cao trình độ. Quyết tâm thì có vẻ dễ nhưng thực hiện nó không đơn giản tý nào cả. Trong việc học Tin học sướng nhất là chơi game chứ học hành đàng hoàng thì quả vất vả thật. Ngay cả việc sắp xếp ổ cắm điện là cả một vấn đề rồi. Phòng học của Mr Toàn có n ổ cắm điện rời. Số lượng chỗ cắm trên mỗi ổ cắm điện này lần lượt là a1, a2, a3,…, an chỗ cắm. Trên tường phòng học có một chỗ cắm cố định đang có điện. Vậy để cho một ổ cắm điện rời có điện thì phải cắm ổ cắm đó vào chỗ cắm cố định trên tường. Ta cũng có thể cắm ổ cắm điện rời này vào một ổ cắm điện rời khác đang có điện. Các thành viên của lớp Mr Toàn có m laptop, để sử dụng thì laptop này cần được cắm vào ổ cắm trên tường hoặc ổ cắm rời đang có điện. Bạn hãy giúp các bạn trẻ tìm ra số ổ cắm rời ít nhất cần dùng để có thể sử dụng tất cả m laptop.
Dữ liệu vào:
- Dòng thứ nhất gồm 2 số nguyên n, m cách nhau một khoảng trắng, dữ liệu vào đảm bảo 1 ≤ n, m ≤ 50, n là số lượng ổ cắm và m là số lượng laptop.
- Dòng thứ hai gồm n số nguyên a1, a2, …, an là số chỗ cắm trên các ổ cắm rời tương ứng, mỗi số cách nhau một khoảng trắng, dữ liệu vào đảm bảo 1 ≤ ai ≤ 50.
Dữ liệu ra: là số nguyên cho biết số ổ cắm rời ít nhất cần sử dụng là bao nhiêu. Nếu đã sử dụng hết tất cả ổ cắm rời mà vẫn không đủ, in ra -1.