binom[23,9]-9*binom[13,9]-binom[14,9]