Well-constrained

Because Sg9 and Pt2 are fixed, Sg3 is completely determined. The perpendicularity of Sg5 with Sg3 gives exactly two possible directions for the underlying line of Sg5, and the assigned length determines two positions for Pt4. Fixing Pt4 up to finitely many positions fixes Sg7.