다오의 경주 대회
시간 제한1초메모리 제한1024 MB
각 트랙 길이를 최대 한 번 K만큼 늘릴 수 있을 때, 수열을 순증가로 만들기 위한 최소 시행 횟수를 구하고 불가능하면 -1을 출력한다.
문제

경주 연습을 하는 다오
다오는 경주 대회를 열기 위해 개의 트랙을 준비했다. 번째로 경주하는 트랙의 길이는 이다.
관중들은 트랙의 길이가 점점 길어져야 경주가 재미있다고 생각한다. 즉, 인 경우 경주가 재미있다고 생각한다. 이를 위해 다오는 다음과 같은 시행을 0회 이상 할 수 있다.
- 인 를 고른 뒤, 번째 트랙의 길이를 만큼 늘린다. 즉, 를 로 바꾼다.
- 위 시행은 각 에 대해 최대 한 번만 할 수 있다.
다오가 트랙의 길이를 점점 증가하도록 만들 수 있는지 판단하고, 만약 가능하다면 이를 위해 필요한 시행의 최소 횟수를 구하시오.
입력
첫째 줄에는 트랙의 수 과 트랙을 늘릴 수 있는 길이 가 띄어쓰기를 사이에 두고 정수로 주어진다.
둘째 줄에는 각 트랙의 길이를 나타내는 정수 , , , 이 띄어쓰기를 사이에 두고 주어진다.
출력
만약 다오가 트랙의 길이를 점점 증가하도록 만들 수 있다면, 이를 위해 필요한 최소 시행의 횟수를 출력하여라.
만약 다오가 트랙의 길이를 점점 증가하도록 만들 수 없다면, -1을 출력하여라.