solve a^3 + 3a - 4 = 0 over reals