integer solutions x^3+1-7x = y , y > 1000