Решите уравнение:
\(x^2 - 7x + 12 = 0\) .
В ответ введите сумму его корней.