Distribuzione con tetti diversi

Quante terne ordinate (a, b, c) di interi non negativi soddisfano $a + b + c = 12$ con i vincoli $a \le 5$, $b \le 7$ e $c \le 9$?