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