시간 제한 메모리 제한 제출 정답 맞은 사람 정답 비율
1 초 128 MB 9 4 1 50.000%

문제

상근이는 다음 학기에 먹을 술 값을 벌기 위해서 방학동안 일을 하고 있다. 상근이가 하는 일은 N×N크기의 행렬로 나타낼 수 있으며, 행렬의 각 칸은 작업 하나를 나타낸다. (x, y)에 있는 작업을 하려면, (x, y-1)과 (x-1, y)에 있는 작업을 모두 끝내야 할 수 있다. (그 칸이 존재하는 경우)

위의 그림은 회색 칸에 해당하는 작업을 하기 위해서 먼저 해야하는 작업을 나타낸 것이다.

상근이는 위에서 설명한 일을 수행할 수 있는 컴퓨터 K개를 가지고 있다. 한 컴퓨터는 한 번에 한 작업을 수행할 수 있으며, 일을 끝내는데 1초가 걸린다. 또, 모든 컴퓨터를 동시에 사용하지 않아도 된다. 상근이가 일을 모두 끝내는데 필요한 최소 시간을 구하는 프로그램을 작성하시오.

입력

첫째 줄에 N과 K가 주어진다. (1 ≤ N, K ≤ 109)

출력

첫째 줄에 일을 끝내는데 필요한 시간의 최소값을 출력한다.

예제 입력

3 2

예제 출력

6

힌트