已知p:x^2-8x-20