sum ( binom( k, 3 ) * binom( 20-k, 5-3 ) ) / 54264, from k=3 to 18