import sys input = sys.stdin.readline N, K = map(int, input().split()) A = list(map(int, input().split())) A.sort(reverse=True) ans = 0 for bit in range(1<