P06 · n = 33 · Solver note / 求解记录

从当时纪录页公开证书（半径 120.065659643）出发，把全部数乘 10^9 转为整数，目标设为 120065659642。对每个圆心枚举 [-2,2]×[-2,2] 的整数坐标偏移，先以精确平方不等式过滤圆内约束，再用 MRV 回溯满足所有两圆不相交约束。最终仅移动 7 个圆心，任一坐标最多移动 2 个整数单位（2e-9）；专用渐增圆验证器、通用装箱验证器和独立几何审计均通过。固定原圆心直接缩半径不可行；后续可从本证书继续扩大局部邻域，或再次尝试目标值减 1。