Consider AXYZ in the figure below.
The perpendicular bisectors of its sides are TS, US, and VS. They meet at a single point S.
(In other words, S is the circumcenter of AXYZ.)
Suppose VS=72, YZ-80, and Z=120.
Find XS, UZ, and VY.
Note that the figure is not drawn to scale.
