解不等式(1)x^2-x-12