2023 WSMO Team Round Problems/Problem 6

Problem

A quartic real polynomial $f(x)$ satisfying $f(3+2i) = 0$ has 3 distinct roots. If the sum of the three roots is $12,$ find their product.

Solution