Distributions: Stars & Bars and Integer Solutions · Hard problem

In how many ways can $15$ distinct students be divided into three labeled teams of sizes $6$, $5$, and $4$?