#include<bits/stdc++.h>
#define Thanh_Cong cout<<" You can call me: coder hihi ";
using namespace std;
#define pub push_back
#define LL long long
#define L long
#define ULL unsigned long long
const long long M= 1e9+7;
const double pi = acos(-1);
const long limit=1e5+5;
int n,d=0,k,res=0,check=0;
long a[limit];
vector<int> u;
/*int BS(long x)
{
int l=0,r=n-1,mi,res=-1;
while(l<=r)
{
mi=(l+r)/2;
if(abs(x-a[mi])<=5)
{
res=mi;
l=mi+1;
}
else r=mi-1;
}
return res;
}
*/
int main()
{
ios_base::sync_with_stdio(0);
cin>>n>>k;
for(int i=0;i<n;i++) cin>>a[i];
sort(a,a+n,greater<int>());
int i,j=0;
for(i=j;i<n;i++)
{
for(j=i;j<n;j++)
{
if(a[i]-a[j]<=5)
{
d++;
if(j==n-1) check=1;
}
else break;
}
u.pub(d);
if(check==1) break;
d=0;
}
sort(u.begin(),u.end(),greater<int>());
for(int i=0;i<u.size()&&i<k;i++) res+=u.at(i);
cout<<res;
return 0;
}
# ///////////// /// /// ////// ///// /// /// ///
# /// /// /// /// /// /// // /// /// ///
# /// /// /// /// /// /// // /// /// ///
# /// /////////// /////////// /// // /// ///////////
# /// /// /// /// /// /// // /// /// ///
# /// /// /// /// /// /// // /// /// ///
# /// /// /// /// /// /// ///// /// ///
# /////// //////// ///// /// ///////
# /// /// /// /// /// // /// /// ///
# /// /// /// /// // /// ///
# /// /// /// /// // /// /// _____
# /// /// /// /// // /// /// ____
# /// /// /// /// /// // /// /// ///
# /////// //////// /// ///// ///////
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KCiNkZWZpbmUgVGhhbmhfQ29uZyBjb3V0PDwiIFlvdSBjYW4gY2FsbCBtZTogY29kZXIgaGloaSAiOwoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCiNkZWZpbmUgcHViIHB1c2hfYmFjawoKI2RlZmluZSBMTCBsb25nIGxvbmcKI2RlZmluZSBMICBsb25nCiNkZWZpbmUgVUxMIHVuc2lnbmVkIGxvbmcgbG9uZwoKY29uc3QgbG9uZyBsb25nIE09IDFlOSs3Owpjb25zdCBkb3VibGUgcGkgPSBhY29zKC0xKTsKY29uc3QgbG9uZyBsaW1pdD0xZTUrNTsKCmludCBuLGQ9MCxrLHJlcz0wLGNoZWNrPTA7CmxvbmcgYVtsaW1pdF07CnZlY3RvcjxpbnQ+IHU7CgovKmludCBCUyhsb25nIHgpCnsKCWludCBsPTAscj1uLTEsbWkscmVzPS0xOwoJd2hpbGUobDw9cikKCXsKCQltaT0obCtyKS8yOwoJCWlmKGFicyh4LWFbbWldKTw9NSkKCQl7CgkJCXJlcz1taTsKCQkJbD1taSsxOwoJCX0KCQllbHNlIHI9bWktMTsKCX0KCXJldHVybiByZXM7Cn0KKi8KaW50IG1haW4oKQp7Cglpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOwoKCWNpbj4+bj4+azsKCWZvcihpbnQgaT0wO2k8bjtpKyspIGNpbj4+YVtpXTsKCQoJc29ydChhLGErbixncmVhdGVyPGludD4oKSk7CglpbnQgaSxqPTA7Cglmb3IoaT1qO2k8bjtpKyspCgl7CgkJZm9yKGo9aTtqPG47aisrKQoJCXsKCQkJaWYoYVtpXS1hW2pdPD01KSAKCQkJewoJCQkJZCsrOwoJCQkJaWYoaj09bi0xKSBjaGVjaz0xOwoJCQl9CgkJCWVsc2UgYnJlYWs7CgkJfQoJCXUucHViKGQpOwoJCWlmKGNoZWNrPT0xKSBicmVhazsKCQlkPTA7Cgl9Cglzb3J0KHUuYmVnaW4oKSx1LmVuZCgpLGdyZWF0ZXI8aW50PigpKTsKCQoJZm9yKGludCBpPTA7aTx1LnNpemUoKSYmaTxrO2krKykgcmVzKz11LmF0KGkpOwoJY291dDw8cmVzOwoJcmV0dXJuIDA7Cn0KCgoKIwkvLy8vLy8vLy8vLy8vCS8vLwkJLy8vCQkvLy8vLy8JCQkvLy8vLwkJLy8vCSAJLy8vCQkvLy8KIwkJLy8vCQkgICAvLy8JICAgLy8vCSAgIC8vLwkvLy8JCSAgIC8vLwkvLyAgICAgLy8vCSAgIC8vLwkgICAvLy8KIwkgICAvLy8JCSAgLy8vCSAgLy8vCSAgLy8vCS8vLwkJICAvLy8JLy8gICAgLy8vICAgICAvLy8JICAvLy8KIwkgIC8vLwkJIC8vLy8vLy8vLy8vCSAvLy8vLy8vLy8vLwkgLy8vCS8vICAgLy8vCSAvLy8vLy8vLy8vLwojCSAvLy8JCS8vLwkJLy8vCQkvLy8JCSAvLy8JLy8vCQkvLyAgLy8vCQkvLy8JCS8vLwojCS8vLwkJICAgLy8vCSAgIC8vLwkgICAvLy8JCSAvLy8gICAvLy8JCS8vIC8vLwkgICAvLy8JICAgLy8vCiMgIC8vLwkJICAvLy8JICAvLy8JICAvLy8JCSAvLy8gIC8vLwkJLy8vLy8JICAvLy8JICAvLy8KCiMJCS8vLy8vLy8JCQkvLy8vLy8vLwkJLy8vLy8JCS8vLwkJCS8vLy8vLy8KIwkvLy8JCSAvLy8JIC8vLwkgICAvLy8JICAgLy8vCS8vCSAgIC8vLwkgICAgLy8vCQkgLy8vCiMgIC8vLwkJCQkvLy8JCSAgICAvLy8gICAvLy8JLy8JICAvLy8JICAvLy8KIyAvLy8JCQkgICAvLy8JCSAgICAvLy8gIC8vLyAgICAvLwkgLy8vCSAvLy8gICAgX19fX18KIyAvLy8JCQkgICAvLy8JCSAgIC8vLyAgLy8vCQkvLwkvLy8JCSAvLy8gICAgX19fXwojICAvLy8JICAvLy8JCS8vLwkJIC8vLyAgIC8vLwkJLy8gLy8vCSAgICAgLy8vICAgIC8vLwojCS8vLy8vLy8JCQkgLy8vLy8vLy8JICAvLy8JCS8vLy8vCSAgICAgIC8vLy8vLy8KCgoK