construct/rlve smallest enclosing circle

construct/rlve smallest enclosing circle: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 8 lattice points in the plane: (1, 7) (4, 12) (7, 3) (7, 13) (8, 15) (13, 5) (13, 14) (15, 5)