The intuitive and obvious-looking answer is that ABCD has to be the square formed when A, B, C, D are at the midpoints of the sides they are on. Anywhere else and the size of ABCD will be bigger than half UVWX.

Except now I note that this won't work because "All side lengths are integers", and that won't work because otherwise the sides of UVWX are which ain't.