已知x,y满足不等式组，则z=x－2y的最大值为         。