3x+1=y^2-y-1