solve(a x^2 + b x + c = 0)