정말 좋은 압축

시험 기간이 되면 평소에 하지 않던 일을 하는 사람이 많아진다. 상근이는 이번 시험 기간에 환상적인 압축 알고리즘을 만들었다.

상근이의 알고리즘으로 파일 $N$개를 압축하면, 압축한 뒤 각 파일의 크기가 최대 $b$비트가 된다. 이런 압축 알고리즘이 존재한다는 것은 믿기 어렵지만, 이론적으로 이런 알고리즘이 가능한지 판단하는 프로그램을 작성하시오.

압축할 파일은 서로 다른 $N$개이며, 각 파일은 $1000$비트로 이루어져 있다. 즉, 완전히 똑같은 파일은 존재하지 않는다.

첫째 줄에 $N$과 $b$가 공백으로 구분되어 주어진다. ($1 \le N \le 10^{15}$, $0 \le b \le 50$)

파일 $N$개를 모두 압축해서 각 파일의 비트 길이를 최대 $b$비트로 만들 수 있으면 yes를, 그렇지 않으면 no를 출력한다.