P57 · n = 21 · Solver note / 求解记录

从公开 n=21 构型出发，在 1e-9 整数网格上逐圆尝试半径增加一个单位；对每个候选以线性化边界和圆对约束求整数圆心位移，修复后再计算全部整数平方距离。第 1 个圆增加一个网格单位后仍满足单位正方形内与互不重叠约束，半径和提高一个单位；服务器精确验证通过。