x-7y^2>=0, 1-x-6*abs(y) >=0