-x^3+x^2+8x-7<=1 and -x^3+x^2+8x-7 >= -1