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