Where the Formulas Come From · Challenge problem

The parabola $y = x^2 + 12x + 23$ and the line $y = 3$ intersect at two points. Find the $x$-coordinates of the intersections.