(3y+1)=(8x^2-2y-1)^3, x+y+3xy+1=(1-2x+2y)^2, 1-2x+2y \ge 0