a^2-a-12>=0