// 
// 
#include <stdio.h>

int main()
{
    int n,k,i,b,count=0;
    double avg=0.0;
    scanf("%d",&n);
    int a[6];
    for(i=0;i<6;i++)
    a[i]=0;
    for(i=0;i<n;i++)
    {
       scanf("%d ",&b);
       a[b]++;
    }
    for(i=0;i<6;i++)
    {
        avg+=a[i]*i;
	}
	avg/=n;
	if(avg>=4.5)
	printf("0\n");
	else
	{
	    i=0;
	    while(i<6 && avg)
	    {
	        if(a[i]!=0)
	        {
	            avg= avg*n -i + 5.0;
	            a[i]--;
	            count++;
	        }
	        else 
	        {i++;continue;}
	        avg=avg/n;
	        if(avg>=4.5)
	        break;
	    }
	    printf("%d\n",count);
	}
	return 0;
}