P67 · n = 20 · Solver note / 求解记录

从公开纪录图重建 n=20 的矩形和圆构型；用接触邻域进行带安全间隔的连续局部优化，再在 1e-9 网格上枚举半径取整组合。对每个组合，用整数线性化约束调整圆心和矩形宽度，并以全体边界和圆对的整数平方距离做最终复核。一个两项上取整组合给出比原纪录高一个网格单位的可验证和；其他候选在精确复核时被淘汰。