한 번 타는데 1 인당 1 유로이다. 당신의 일은 하루에 이 기구로 얼마나 수입을 올릴 지를 알아내는 것이다. 이 기구는 한 번에 태울수 있는 정원이 k 명이고 이 기구를 타기위해 줄을 서 있다. 다 타고 나면 다시 타기 위해 줄의 끝에서 다시 줄을 선다.

롤러 코스트는 하루에 R 번 운행할 수 있다.

예를 들어 , R=4 이고 k = 6 이고 그룹 수 4 이고 그룹의 인원이 1 , 4 , 2 , 1 이라면 처음 기구는 [1,4] 를 태우고 운행을 한다. 이 경우 한 자리가 비었다 해서 4 번째 그룹 1 이 새치기를 해서 기구에 탈수는 없다.

탄 후 다시 줄을 선다. 2,1,1,4

두 번째 운행시 [2,1,1] 즉 4 명을 태울수 있다. 줄은 4,2,1,1

3 번째 , [4,2] 6 명을 태우고 운행할 수 있다. 1 , 1, 4 , 2

마지막으로 [1,1,4] 를 태우고 운행하면 하루 운행 횟수가 4 이므로 끝 . 총 수입은 21 유로.

입력

각 테스트 데이터는 두 줄로 이루어진다.

• 첫 줄은 세 정수 R,k 그리고 N 이 주어진다.
• 다음은 N 개의 정수 gi 가 주어진다. g0 는 첫 번째 그룹의 인원수이고, g1 은 두 번째 그룹의 인원수....

출력

입출력 예

입력

3
4 6 4
1 4 2 1
100 10 1
1
5 5 10
2 4 2 3 4 2 1 2 1 3

출력

Case #1: 21
Case #2: 100
Case #3: 20

입출력 제한

1 ≤ T ≤ 50.
gi ≤ k. 

dataset
1 ≤ R ≤ 1000.
1 ≤ k ≤ 100.
1 ≤ N ≤ 10.
1 ≤ gi ≤ 10.

출처:google codejam 2010
채점데이터: 대회 small data