solve x^2 - x - 4 = 0