#define R(i)for(i=101;i--;)
long d[7][101][101][601],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(k)R(M)m-=d[6][k][M][i*4+s/25+k+M];M=!printf("%ld",~m);}