#define R(i)for(i=101;i--;)
long d[7][101][101][601],a;m,M,s,i;main(k){for(d[0][100][0][0]=1;i<6;i++)R(m)R(M)R(k)for(s=m*i;s<=i*100;s++)d[i+1][m<k?m:k][M>k?M:k][s+k]+=d[i][m][M][s];scanf("%d.%d",&i,&s);R(m)R(M)a+=d[6][m][M][i*4+s/25+m+M];a=!printf("%ld",a);}