This is the hard version of this problem. The only difference is the constraint on $k$ — the number of gifts in the offer. In this version: $2 \le k \le n$.

Vasya came to the store to buy goods for his friends for the New Year. It turned out that he was very lucky — today the offer "$k$ of goods for the price of one" is held in store.

Using this offer, Vasya can buy exactly $k$ of any goods, paying only for the most expensive of them. Vasya decided to take this opportunity and buy as many goods as possible for his friends with the money he has.

More formally, for each good, its price is determined by $a_i$ — the number of coins it costs. Initially, Vasya has $p$ coins. He wants to buy the maximum number of goods. Vasya can perform one of the following operations as many times as necessary:

  Vasya can buy one good with the index $i$ if he currently has enough coins (i.e $p \ge a_i$). After buying this good, the number of Vasya's coins will decrease by $a_i$, (i.e it becomes $p := p - a_i$).  Vasya can buy a good with the index $i$, and also choose exactly $k-1$ goods, the price of which does not exceed $a_i$, if he currently has enough coins (i.e $p \ge a_i$). Thus, he buys all these $k$ goods, and his number of coins decreases by $a_i$ (i.e it becomes $p := p - a_i$). 

Please note that each good can be bought no more than once.

For example, if the store now has $n=5$ goods worth $a_1=2, a_2=4, a_3=3, a_4=5, a_5=7$, respectively, $k=2$, and Vasya has $6$ coins, then he can buy $3$ goods. A good with the index $1$ will be bought by Vasya without using the offer and he will pay $2$ coins. Goods with the indices $2$ and $3$ Vasya will buy using the offer and he will pay $4$ coins. It can be proved that Vasya can not buy more goods with six coins.

Help Vasya to find out the maximum number of goods he can buy.


-----Input-----

The first line contains one integer $t$ ($1 \le t \le 10^4$) — the number of test cases in the test.

The next lines contain a description of $t$ test cases. 

The first line of each test case contains three integers $n, p, k$ ($2 \le n \le 2 \cdot 10^5$, $1 \le p \le 2\cdot10^9$, $2 \le k \le n$) — the number of goods in the store, the number of coins Vasya has and the number of goods that can be bought by the price of the most expensive of them.

The second line of each test case contains $n$ integers $a_i$ ($1 \le a_i \le 10^4$) — the prices of goods.

It is guaranteed that the sum of $n$ for all test cases does not exceed $2 \cdot 10^5$.


-----Output-----

For each test case in a separate line print one integer $m$ — the maximum number of goods that Vasya can buy.


-----Example-----
Input
8
5 6 2
2 4 3 5 7
5 11 2
2 4 3 5 7
3 2 3
4 2 6
5 2 3
10 1 3 9 2
2 10000 2
10000 10000
2 9999 2
10000 10000
4 6 4
3 2 3 2
5 5 3
1 2 2 1 2

Output
3
4
1
1
2
0
4
5

Difficulty: interview

Starter code:

Solutions:
import os
from io import BytesIO

# input = BytesIO(os.read(0, os.fstat(0).st_size)).readline


def check(x, p):
    i = x - 1
    while i > -1 and a[i] <= p:
        p -= a[i]
        if i >= k - 1:
            i -= k
        else:
            i -= 1
    return i <= -1


for _ in range(int(input())):
    n, p, k = map(int, input().split())
    a = sorted(map(int, input().split()))
    dp = [1000000000] * (n + 1)
    dp[0] = 0
    ans = 0
    for i in range(1, n + 1):
        dp[i] = dp[i - 1] + a[i - 1]
        if i - k + 1 >= 0:
            dp[i] = min(dp[i], dp[i - k] + a[i - 1])
        if dp[i] <= p:
            ans = i
    print(ans)

t = int(input())
for ii in range(t):
    n, p, k = list(map(int, input().split()))
    a = list(map(int, input().split()))
    a = sorted(a)
    a = [None] + a
    s = [0] * (n+1)
    last_ind = 0
    for i in range(1,n+1):
        if i < k:
            s[i] = a[i] + s[i-1]
        else:
            s[i] = a[i] + s[i-k]
        # print('---',s[i], p)
        if s[i] <= p:
            last_ind = i

    print(last_ind)

'''
8
5 6 2
2 4 3 5 7
5 11 2
2 4 3 5 7
3 2 3
4 2 6
5 2 3
10 1 3 9 2
2 10000 2
10000 10000
2 9999 2
10000 10000
4 6 4
3 2 3 2
5 5 3
1 2 2 1 2

'''


import sys
input = sys.stdin.readline

t=int(input())
for testcases in range(t):
    n,p,k=list(map(int,input().split()))
    A=sorted((list(map(int,input().split()))))

    S=[0]*(n+k+3)

    for i in range(k-1):
        S[i]=A[i]+S[i-1]

    for i in range(k-1,n):
        S[i]=S[i-k]+A[i]

    #print(S)

    ANS=-1

    for i in range(n):
        if S[i]<=p:
            ANS=i

    print(ANS+1)

    


t = int(input())

for _ in range(t):
    n,p,k = map(int, input().split())
    a = list(map(int, input().split()))
    a = sorted(a)

    dp = [10**10 for i in range(n+1)]
    dp[0] = 0

    for i in range(1, n+1):
        dp[i] = min(dp[i], dp[i-1] + a[i-1])
        if i >= k:
            dp[i] = min(dp[i], dp[i-k] + a[i-1])
    ans = 0
    for i in range(n+1):
        if dp[i] <= p:
            ans = i
    print(ans)