CF1133E K Balanced Teams

*题目名称：旗鼓相当的队友Ⅱ* 您是本地大学的教练，有$n$位选手在你这里学习，并且已知第$i$位的能力值为$a_i$。 现在您需要挑选出若干位选手组成至多$k$支队伍。众所周知，参赛的人数越多，你的大学获胜的概率越大。所以，你需要使得你选出的至多$k$支（至少$1$支）**非空**队伍的**总人数**最多。但是，你知道**每支**队伍中队员们的实力应当*差不多*，这意味着对于**任意**一支队伍，不应当存在两名实力值相差超过$5$的选手。所有的队伍都是相互独立的（这意味着我们不考虑来自两只不同队伍的选手的实力值差距）。 可能有的选手不属于任何一支队伍。 您的任务是求出满足以上要求的至多$k$（至少$1$）支**非空**队伍的**总人数**。 **如果您是一名Python选手，您可以考虑在提交代码时选择`PyPy`而不是`Python`**。

输入文件的第一行包含两个整数$n$和$k$，代表选手总数和队伍数量上限； 第二行输入$n$个整数$a_1, a_2, \ldots a_n$，第$i$个整数代表第$i$位选手的实力值。

输出文件仅包含一行，包含一个整数——至多$k$（至少$1$）支满足上述要求的队伍的**总人数的最大值**。

对于所有数据，$1 \leq k \leq n \leq 5000, 1 \leq a_i \leq 10^9$。 **如果您是一名Python选手，您可以考虑在提交代码时选择`PyPy`而不是`Python`**。