给定一个一元二次方程 ax2+bx+c=0,保证给定方程有解,且恰好有两个不同的实数根。 请你对该方程进行求解

一元二次方程 ax^2 + bx + c = 0 的求解公式为：

x1 = (-b + sqrt(b^2 - 4ac)) / 2a

x2 = (-b - sqrt(b^2 - 4ac)) / 2a

其中，sqrt表示求平方根。

保证给定方程有解且恰好有两个不同的实数根，即 b^2 - 4ac > 0。

那么，对于给定的一元二次方程 ax^2 + bx + c = 0，我们可以直接带入上述公式进行求解即可。