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