已知二进制数x=-01111,y=+11001,用变形补码(双符号位)计算x-y,同时指出运算结果是否溢出。