Prodotto di tre numeri da tre somme a due a due

Tre numeri a, b, c soddisfano $a + b = 7$, $b + c = 9$ e $a + c = 12$. Quanto vale il prodotto $a \cdot b \cdot c$?