Trẻ em Việt Nam hiện nay tại một số nơi như Lào Cai, Lai Châu, Điện Biên còn tồn tại một số vùng người dân còn nghèo khó việc chăm sóc sức khỏe cho trẻ nhỏ còn gặp rất nhiều khó khăn. Bác sỹ Hạnh Phúc của Bệnh Viện Bạch Mai mới nghĩ ra cần chế tạo ra những viên thuốc chứa ~x~ đơn vị chất dinh dưỡng, là một Bác sỹ ông hiểu rằng thiếu và thừa chất dinh dưỡng đều nguy hiểm.

Do thiết bị để chiết xuất chất dinh dưỡng còn chưa được tiên tiến. Trong ~n~ giờ hoạt động liên tục, giờ thứ ~i~ máy cho ~a_i~ đơn vị chất dinh dưỡng cần thiết, từ đó mỗi giờ tiếp theo máy cho ổn định ~a_n~ đơn vị, nhưng nếu dừng máy một giờ hay nhiều hơn thì khi khởi động lại máy sẽ lại lần lượt cho ~a_1, a_2, a_3 \dots~ đơn vị chất dinh dưỡng ở giờ thứ nhất, thứ 2, thứ 3,...

Hãy xác định khoảng thời gian ít nhất cần thiết để có đúng ~x~ đơn vị chất dinh dưỡng hoặc cho biết không thể làm được điều đó.

Yêu cầu: Tìm thời gian ít nhất để có đúng ~x~ đơn vị chất dinh dưỡng.

Input

• Dòng đầu tiên chứa 2 số nguyên ~n~ và ~x~ (~1 \le n \le 100, 1 \le x \le 10^6~)
• Dòng thứ 2 chứa ~n~ số nguyên ~a_1, a_2, a_3 \dots a_n~ (~1 \le a_i \le 10^6~)

Output

• Đưa ra một số nguyên là thời gian ít nhất cần thiết xác định được hoặc -1 nếu không thể đạt đúng ~x~ đơn vị.

Sample Input 1

5 12
1 4 2 6 3

Sample Output 1

6