에릭은 방학 동안 너무 심심한 나머지, 당근 클릭 게임이라는 게임을 직접 만들어서 플레이하기로 했다.
이 게임에서 초기에 에릭은 당근을 $0$개 가지고 있고, $s$가 $1$인 상태로 게임을 시작한다.
그 후, 매초 다음 두 가지의 행동 중 하나를 할 수 있다.

게임을 개발하느라 에너지를 모두 소모해 버린 에릭을 위해 게임을 $K$초 플레이한 후 당근을 최대 몇 개까지 가지고 있을 수 있는지 알려주자!
첫 번째 줄에 두 정수 $N$, $K$가 공백으로 구분되어 주어진다.
다음 $N$개의 줄 중 $i$번째 줄에 두 정수 $A_i$, $B_i$가 공백으로 구분되어 주어진다.
에릭이 게임을 $K$초 플레이한 후 최대로 가지고 있을 수 있는 당근의 개수를 출력한다.