3x+1=y and y/2=x