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