Distributions: Stars & Bars and Integer Solutions · Challenge problem

How many solutions in integers does $x_1+x_2+x_3=20$ have with $2\le x_1\le 9$, $3\le x_2\le 12$, and $x_3\ge 0$?