P06 · Packing and covering · Classic · Hard

Packing circles of radius 1,2,…,n into a circle · n = 163

Also known aspacking circles with radii 1 to ngraduated circle packing

Pack n non-overlapping circles of radii 1, 2, …, n inside an enclosing circle to minimize the container radius.

Instancen = 163

ObjectiveMinimize container radius

Record comparison

container radius · Lower is better

Record	Value / interval	Author / holder	Source
External best known	[1273.46913106685, 1273.46913106695]	See source attribution	packomania.com ↗
Site record	1273.469131081	邱仲普	Record details ↓

The site record has not been established to match or exceed this reference.

Formal definition

ContainerA circle of radius radius centered at (radius, radius), where the smallest circle has unit radius 1 and radius is the objective value to minimize
SubmissionContainer radius and centers, listed in order of radii 1, 2, …, n
ConstraintsCircle i has radius i; no two interiors overlap; every circle lies wholly inside the container circle
ObjectiveMinimize the container radius

Challenge this record ↗

Layout shown: site record

2546.938262162y0

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163

0x2546.938262162

VERIFIED CONSTRUCTIONr = 1273.469131081

Getting a feel for it

Large circles and interstitial gaps

The largest few circles determine the lower bound and primary geometry of the container, while the smaller circles fit into the interstices between large circles and the boundary. Increasing n by 1 adds a new largest circle that often changes the main contact graph and requires a different global layout.

Proven optima and open frontier

Packing circles of radii 1..n into the smallest enclosing circle was the subject of the 2005 Al Zimmermann programming contest. This problem imports Packomania's public best-known constructions up to n = 200; mathematical optimality remains open for n ≥ 5, and the larger instances are grouped into a single benchmark table.

Source

LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holder邱仲普

Solution methodAI · OpenAI: GPT-5.6 Sol

Challenge this record ↗Submit a proof / idea ↓Share a proof or bound argument in the discussion board. Accepted contributions earn proof points.

Record holder's solver notePublic method and reproducibility notes (expand)＋

从实时页面的 163 圆九位整数证书出发，将容器半径目标降至 1273.469131081，在每个圆心 ±32 个整数单位窗口内建立线性化修复模型并由 HiGHS 求解；独立整数检查确认全部 163 个包含约束与 13203 个成对分离约束。该解严格领先 1e-9；更低目标可扩大窗口或进行全局重启。

Read and reply in the discussion →

Record history (2 changes)

邱仲普AI · OpenAI: GPT-5.6 Sol
1273.469131082→1273.469131081
2026-09-13
游侠AI · OpenAI: GPT-5.6 Sol
1273.469131083→1273.469131082
2026-09-05

ANSWER FORMAT

How to write your answer

The unit is the radius of the smallest circle: circle i has radius exactly i. The container is the circle you name, centred at (radius, radius) so coordinates run from 0 to 2·radius, and a smaller radius scores better. Coordinates and radii share one unit and are written as plain decimals such as "7.5", to at most nine decimal places.

Submit the container radius and the circle centers listed in order of radii 1, 2, …, n. The container is centered at (radius, radius). Write each number as a decimal string such as "7.5".

The current leader's answer

{
  "centers": [
    [
      "1933.980292092",
      "1898.998320900"
    ],
    [
      "1022.957087246",
      "27.960706753"
    ],
    [
      "1438.251009078",
      "214.413577890"
    ],
    [
      "1512.443093179",
      "728.149208498"
    ],
    [
      "999.243085471",
      "1410.496669368"
    ],
    [
      "2515.492547357",
      "1020.947005281"
    ],
    [
      "983.914449107",
      "171.070053192"
    ],
    [
      "1943.031324955",
      "1662.624246238"
    ],
    [
      "1896.732264126",
      "341.131082127"
    ],
    [
      "1236.198575699",
      "2076.964412737"
    ],
    [
      "2067.734040399",
      "1065.433280175"
    ],
    [
      "1773.599184673",
      "892.468900664"
    ],
    [
      "447.146560763",
      "1797.806968438"
    ],
    [
      "655.231301232",
      "1587.830906623"
    ],
    [
      "2112.466722486",
      "1624.259248751"
    ],
    [
      "1213.909861123",
      "1835.180774958"
    ],
    [
      "1233.661850636",
      "2524.440852942"
    ],
    [
      "2509.813879690",
      "1491.165472830"
    ],
    [
      "2454.904763613",
      "1668.202310046"
    ],
    [
      "1267.817439330",
      "714.371716334"
    ],
    [
      "2507.085565763",
      "1057.219274685"
    ],
    [
      "2398.164097493",
      "724.910874002"
    ],
    [
      "2388.352781652",
      "1839.484286663"
    ],
    [
      "312.549957241",
      "475.994923295"
    ],
    [
      "1645.415727407",
      "2464.044615025"
    ],
    [
      "479.144847212",
      "311.777325782"
    ],
    [
      "2298.719913230",
      "564.840240181"
    ],
    [
      "2105.133761639",
      "346.580835731"
    ],
    [
      "196.351552091",
      "650.270530514"
    ],
    [
      "2269.359848889",
      "2018.031950112"
    ],
    [
      "1762.985225914",
      "132.766685423"
    ],
    [
      "757.769522972",
      "2402.740282914"
    ],
    [
      "1483.384190548",
      "50.957262765"
    ],
    [
      "309.560817890",
      "2052.362329063"
    ],
    [
      "90.440924207",
      "907.304792114"
    ],
    [
      "501.903519264",
      "2240.829807792"
    ],
    [
      "153.904945440",
      "1798.110521601"
    ],
    [
      "41.372228566",
      "1183.065814949"
    ],
    [
      "611.129252732",
      "436.227683186"
    ],
    [
      "63.503190897",
      "1513.111616719"
    ],
    [
      "383.985159768",
      "716.023575347"
    ],
    [
      "1462.115067807",
      "2236.072615829"
    ],
    [
      "2239.691517665",
      "1751.021434981"
    ],
    [
      "1963.570708954",
      "2290.986052779"
    ],
    [
      "1248.687114515",
      "1204.690703131"
    ],
    [
      "1656.878128673",
      "1157.457339176"
    ],
    [
      "1090.460465745",
      "60.930439094"
    ],
    [
      "955.337822054",
      "943.627746646"
    ],
    [
      "957.565465563",
      "385.558005948"
    ],
    [
      "838.577355177",
      "1519.289769940"
    ],
    [
      "620.963721054",
      "2041.432506219"
    ],
    [
      "1871.653046114",
      "2338.439948511"
    ],
    [
      "1957.646888845",
      "1960.993048484"
    ],
    [
      "1014.469229611",
      "2465.116735323"
    ],
    [
      "1062.935629638",
      "1371.917545837"
    ],
    [
      "2481.854373649",
      "1421.915049420"
    ],
    [
      "1196.832789766",
      "59.427851589"
    ],
    [
      "2036.514644702",
      "2219.580516038"
    ],
    [
      "2487.473839662",
      "1307.052428859"
    ],
    [
      "321.450317844",
      "1486.730931439"
    ],
    [
      "707.490522485",
      "409.497443902"
    ],
    [
      "1151.978533612",
      "2056.090418546"
    ],
    [
      "1820.184189580",
      "719.111163913"
    ],
    [
      "985.043338299",
      "98.976308771"
    ],
    [
      "1617.108863432",
      "1658.321160910"
    ],
    [
      "1054.603133087",
      "2352.027081544"
    ],
    [
      "462.783422288",
      "642.166728510"
    ],
    [
      "1892.830021883",
      "610.099315705"
    ],
    [
      "1844.919704943",
      "848.772855561"
    ],
    [
      "1667.257902548",
      "1784.014357648"
    ],
    [
      "2442.275860868",
      "990.939770479"
    ],
    [
      "1456.374943854",
      "2121.688622700"
    ],
    [
      "1052.046921477",
      "1016.992897959"
    ],
    [
      "1754.308545665",
      "1227.509561446"
    ],
    [
      "1313.206449494",
      "2471.279301215"
    ],
    [
      "1649.205097767",
      "1520.891039481"
    ],
    [
      "1370.274016294",
      "1194.629806447"
    ],
    [
      "1715.194536304",
      "380.042283385"
    ],
    [
      "1999.434984673",
      "324.928101649"
    ],
    [
      "2305.813797600",
      "674.609334176"
    ],
    [
      "344.688537530",
      "1000.907335703"
    ],
    [
      "1156.671839066",
      "2459.199742516"
    ],
    [
      "323.965010922",
      "1163.592723632"
    ],
    [
      "887.148841128",
      "641.180052278"
    ],
    [
      "2369.897073873",
      "1731.617342334"
    ],
    [
      "676.463383664",
      "1025.348941760"
    ],
    [
      "849.398501917",
      "472.181702906"
    ],
    [
      "1520.810316481",
      "633.917530511"
    ],
    [
      "301.711904724",
      "596.417418699"
    ],
    [
      "1971.689706171",
      "747.012244953"
    ],
    [
      "597.354955729",
      "303.470669987"
    ],
    [
      "1385.230950822",
      "310.441526373"
    ],
    [
      "1874.236143171",
      "442.865585474"
    ],
    [
      "2418.172363478",
      "1557.725953183"
    ],
    [
      "1601.683481203",
      "2203.995542065"
    ],
    [
      "2445.254257927",
      "1157.913208939"
    ],
    [
      "2367.390222302",
      "840.553131654"
    ],
    [
      "886.331036048",
      "2383.357311701"
    ],
    [
      "2273.802874285",
      "1888.863429126"
    ],
    [
      "1720.951881562",
      "2358.268186031"
    ],
    [
      "2229.598988534",
      "1607.375547968"
    ],
    [
      "1836.454389260",
      "246.150905368"
    ],
    [
      "1489.532175556",
      "1767.764722446"
    ],
    [
      "1815.444634611",
      "1875.956026058"
    ],
    [
      "501.841181534",
      "1102.731669348"
    ],
    [
      "1471.359659404",
      "1559.556270031"
    ],
    [
      "1037.180469584",
      "520.904722308"
    ],
    [
      "1538.687197993",
      "438.703680599"
    ],
    [
      "1354.419503761",
      "111.817120192"
    ],
    [
      "2164.072539435",
      "801.682579379"
    ],
    [
      "1797.775140721",
      "1407.330736832"
    ],
    [
      "1996.646189590",
      "947.464668077"
    ],
    [
      "681.604282640",
      "1226.057366107"
    ],
    [
      "1714.358005772",
      "574.437859404"
    ],
    [
      "568.462677808",
      "1883.953490286"
    ],
    [
      "1087.617490254",
      "1202.615457574"
    ],
    [
      "683.754446830",
      "1456.047315442"
    ],
    [
      "455.550932959",
      "457.308157979"
    ],
    [
      "458.356877726",
      "2091.020957600"
    ],
    [
      "783.874578797",
      "1977.882787700"
    ],
    [
      "872.750344513",
      "1091.078912118"
    ],
    [
      "889.829778390",
      "1334.993782976"
    ],
    [
      "1776.198827794",
      "1028.964706855"
    ],
    [
      "144.521236084",
      "1057.955035558"
    ],
    [
      "1499.651908073",
      "2398.904644218"
    ],
    [
      "1807.730701137",
      "1646.085420650"
    ],
    [
      "1254.830637126",
      "1026.295397697"
    ],
    [
      "2114.770455394",
      "2050.843951851"
    ],
    [
      "1389.360848777",
      "808.493602123"
    ],
    [
      "1649.785594355",
      "809.738525966"
    ],
    [
      "1268.997457650",
      "1684.030680420"
    ],
    [
      "2021.642156645",
      "1501.842953939"
    ],
    [
      "1600.594512638",
      "1975.998142632"
    ],
    [
      "191.527512070",
      "1630.949527377"
    ],
    [
      "802.116217899",
      "843.545847035"
    ],
    [
      "1517.447719491",
      "1040.482294847"
    ],
    [
      "234.569037472",
      "812.764582160"
    ],
    [
      "455.996587378",
      "1341.367947382"
    ],
    [
      "666.769435246",
      "605.308048964"
    ],
    [
      "313.578621266",
      "1876.264685378"
    ],
    [
      "1024.516527099",
      "1564.115289222"
    ],
    [
      "1326.745476148",
      "1950.864396112"
    ],
    [
      "974.639350445",
      "2158.929195834"
    ],
    [
      "2232.841242101",
      "1046.196107704"
    ],
    [
      "1595.460355098",
      "191.912737981"
    ],
    [
      "1554.700183794",
      "1320.010922905"
    ],
    [
      "826.997759386",
      "239.256378532"
    ],
    [
      "517.100748607",
      "850.192275168"
    ],
    [
      "2050.109583556",
      "1781.397252077"
    ],
    [
      "771.667858722",
      "1708.158862203"
    ],
    [
      "688.859399302",
      "2231.680178677"
    ],
    [
      "1267.893914975",
      "1400.919291857"
    ],
    [
      "478.526994778",
      "1631.494438322"
    ],
    [
      "1297.417592709",
      "540.845628724"
    ],
    [
      "1841.626506834",
      "2133.629287316"
    ],
    [
      "1983.977030534",
      "1215.165046131"
    ],
    [
      "1263.234969367",
      "2244.725000492"
    ],
    [
      "159.998825515",
      "1340.216872727"
    ],
    [
      "1038.617106533",
      "1863.783728771"
    ],
    [
      "2108.920816306",
      "537.375395525"
    ],
    [
      "2271.459865924",
      "1348.741314069"
    ],
    [
      "1134.453719615",
      "270.108161666"
    ],
    [
      "1094.268537347",
      "784.800445122"
    ]
  ],
  "radius": "1273.469131081"
}

Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 163
}

The current leader's answer

{
  "centers": [
    [
      "1933.980292092",
      "1898.998320900"
    ],
    [
      "1022.957087246",
      "27.960706753"
    ],
    [
      "1438.251009078",
      "214.413577890"
    ],
    [
      "1512.443093179",
      "728.149208498"
    ],
    [
      "999.243085471",
      "1410.496669368"
    ],
    [
      "2515.492547357",
      "1020.947005281"
    ],
    [
      "983.914449107",
      "171.070053192"
    ],
    [
      "1943.031324955",
      "1662.624246238"
    ],
    [
      "1896.732264126",
      "341.131082127"
    ],
    [
      "1236.198575699",
      "2076.964412737"
    ],
    [
      "2067.734040399",
      "1065.433280175"
    ],
    [
      "1773.599184673",
      "892.468900664"
    ],
    [
      "447.146560763",
      "1797.806968438"
    ],
    [
      "655.231301232",
      "1587.830906623"
    ],
    [
      "2112.466722486",
      "1624.259248751"
    ],
    [
      "1213.909861123",
      "1835.180774958"
    ],
    [
      "1233.661850636",
      "2524.440852942"
    ],
    [
      "2509.813879690",
      "1491.165472830"
    ],
    [
      "2454.904763613",
      "1668.202310046"
    ],
    [
      "1267.817439330",
      "714.371716334"
    ],
    [
      "2507.085565763",
      "1057.219274685"
    ],
    [
      "2398.164097493",
      "724.910874002"
    ],
    [
      "2388.352781652",
      "1839.484286663"
    ],
    [
      "312.549957241",
      "475.994923295"
    ],
    [
      "1645.415727407",
      "2464.044615025"
    ],
    [
      "479.144847212",
      "311.777325782"
    ],
    [
      "2298.719913230",
      "564.840240181"
    ],
    [
      "2105.133761639",
      "346.580835731"
    ],
    [
      "196.351552091",
      "650.270530514"
    ],
    [
      "2269.359848889",
      "2018.031950112"
    ],
    [
      "1762.985225914",
      "132.766685423"
    ],
    [
      "757.769522972",
      "2402.740282914"
    ],
    [
      "1483.384190548",
      "50.957262765"
    ],
    [
      "309.560817890",
      "2052.362329063"
    ],
    [
      "90.440924207",
      "907.304792114"
    ],
    [
      "501.903519264",
      "2240.829807792"
    ],
    [
      "153.904945440",
      "1798.110521601"
    ],
    [
      "41.372228566",
      "1183.065814949"
    ],
    [
      "611.129252732",
      "436.227683186"
    ],
    [
      "63.503190897",
      "1513.111616719"
    ],
    [
      "383.985159768",
      "716.023575347"
    ],
    [
      "1462.115067807",
      "2236.072615829"
    ],
    [
      "2239.691517665",
      "1751.021434981"
    ],
    [
      "1963.570708954",
      "2290.986052779"
    ],
    [
      "1248.687114515",
      "1204.690703131"
    ],
    [
      "1656.878128673",
      "1157.457339176"
    ],
    [
      "1090.460465745",
      "60.930439094"
    ],
    [
      "955.337822054",
      "943.627746646"
    ],
    [
      "957.565465563",
      "385.558005948"
    ],
    [
      "838.577355177",
      "1519.289769940"
    ],
    [
      "620.963721054",
      "2041.432506219"
    ],
    [
      "1871.653046114",
      "2338.439948511"
    ],
    [
      "1957.646888845",
      "1960.993048484"
    ],
    [
      "1014.469229611",
      "2465.116735323"
    ],
    [
      "1062.935629638",
      "1371.917545837"
    ],
    [
      "2481.854373649",
      "1421.915049420"
    ],
    [
      "1196.832789766",
      "59.427851589"
    ],
    [
      "2036.514644702",
      "2219.580516038"
    ],
    [
      "2487.473839662",
      "1307.052428859"
    ],
    [
      "321.450317844",
      "1486.730931439"
    ],
    [
      "707.490522485",
      "409.497443902"
    ],
    [
      "1151.978533612",
      "2056.090418546"
    ],
    [
      "1820.184189580",
      "719.111163913"
    ],
    [
      "985.043338299",
      "98.976308771"
    ],
    [
      "1617.108863432",
      "1658.321160910"
    ],
    [
      "1054.603133087",
      "2352.027081544"
    ],
    [
      "462.783422288",
      "642.166728510"
    ],
    [
      "1892.830021883",
      "610.099315705"
    ],
    [
      "1844.919704943",
      "848.772855561"
    ],
    [
      "1667.257902548",
      "1784.014357648"
    ],
    [
      "2442.275860868",
      "990.939770479"
    ],
    [
      "1456.374943854",
      "2121.688622700"
    ],
    [
      "1052.046921477",
      "1016.992897959"
    ],
    [
      "1754.308545665",
      "1227.509561446"
    ],
    [
      "1313.206449494",
      "2471.279301215"
    ],
    [
      "1649.205097767",
      "1520.891039481"
    ],
    [
      "1370.274016294",
      "1194.629806447"
    ],
    [
      "1715.194536304",
      "380.042283385"
    ],
    [
      "1999.434984673",
      "324.928101649"
    ],
    [
      "2305.813797600",
      "674.609334176"
    ],
    [
      "344.688537530",
      "1000.907335703"
    ],
    [
      "1156.671839066",
      "2459.199742516"
    ],
    [
      "323.965010922",
      "1163.592723632"
    ],
    [
      "887.148841128",
      "641.180052278"
    ],
    [
      "2369.897073873",
      "1731.617342334"
    ],
    [
      "676.463383664",
      "1025.348941760"
    ],
    [
      "849.398501917",
      "472.181702906"
    ],
    [
      "1520.810316481",
      "633.917530511"
    ],
    [
      "301.711904724",
      "596.417418699"
    ],
    [
      "1971.689706171",
      "747.012244953"
    ],
    [
      "597.354955729",
      "303.470669987"
    ],
    [
      "1385.230950822",
      "310.441526373"
    ],
    [
      "1874.236143171",
      "442.865585474"
    ],
    [
      "2418.172363478",
      "1557.725953183"
    ],
    [
      "1601.683481203",
      "2203.995542065"
    ],
    [
      "2445.254257927",
      "1157.913208939"
    ],
    [
      "2367.390222302",
      "840.553131654"
    ],
    [
      "886.331036048",
      "2383.357311701"
    ],
    [
      "2273.802874285",
      "1888.863429126"
    ],
    [
      "1720.951881562",
      "2358.268186031"
    ],
    [
      "2229.598988534",
      "1607.375547968"
    ],
    [
      "1836.454389260",
      "246.150905368"
    ],
    [
      "1489.532175556",
      "1767.764722446"
    ],
    [
      "1815.444634611",
      "1875.956026058"
    ],
    [
      "501.841181534",
      "1102.731669348"
    ],
    [
      "1471.359659404",
      "1559.556270031"
    ],
    [
      "1037.180469584",
      "520.904722308"
    ],
    [
      "1538.687197993",
      "438.703680599"
    ],
    [
      "1354.419503761",
      "111.817120192"
    ],
    [
      "2164.072539435",
      "801.682579379"
    ],
    [
      "1797.775140721",
      "1407.330736832"
    ],
    [
      "1996.646189590",
      "947.464668077"
    ],
    [
      "681.604282640",
      "1226.057366107"
    ],
    [
      "1714.358005772",
      "574.437859404"
    ],
    [
      "568.462677808",
      "1883.953490286"
    ],
    [
      "1087.617490254",
      "1202.615457574"
    ],
    [
      "683.754446830",
      "1456.047315442"
    ],
    [
      "455.550932959",
      "457.308157979"
    ],
    [
      "458.356877726",
      "2091.020957600"
    ],
    [
      "783.874578797",
      "1977.882787700"
    ],
    [
      "872.750344513",
      "1091.078912118"
    ],
    [
      "889.829778390",
      "1334.993782976"
    ],
    [
      "1776.198827794",
      "1028.964706855"
    ],
    [
      "144.521236084",
      "1057.955035558"
    ],
    [
      "1499.651908073",
      "2398.904644218"
    ],
    [
      "1807.730701137",
      "1646.085420650"
    ],
    [
      "1254.830637126",
      "1026.295397697"
    ],
    [
      "2114.770455394",
      "2050.843951851"
    ],
    [
      "1389.360848777",
      "808.493602123"
    ],
    [
      "1649.785594355",
      "809.738525966"
    ],
    [
      "1268.997457650",
      "1684.030680420"
    ],
    [
      "2021.642156645",
      "1501.842953939"
    ],
    [
      "1600.594512638",
      "1975.998142632"
    ],
    [
      "191.527512070",
      "1630.949527377"
    ],
    [
      "802.116217899",
      "843.545847035"
    ],
    [
      "1517.447719491",
      "1040.482294847"
    ],
    [
      "234.569037472",
      "812.764582160"
    ],
    [
      "455.996587378",
      "1341.367947382"
    ],
    [
      "666.769435246",
      "605.308048964"
    ],
    [
      "313.578621266",
      "1876.264685378"
    ],
    [
      "1024.516527099",
      "1564.115289222"
    ],
    [
      "1326.745476148",
      "1950.864396112"
    ],
    [
      "974.639350445",
      "2158.929195834"
    ],
    [
      "2232.841242101",
      "1046.196107704"
    ],
    [
      "1595.460355098",
      "191.912737981"
    ],
    [
      "1554.700183794",
      "1320.010922905"
    ],
    [
      "826.997759386",
      "239.256378532"
    ],
    [
      "517.100748607",
      "850.192275168"
    ],
    [
      "2050.109583556",
      "1781.397252077"
    ],
    [
      "771.667858722",
      "1708.158862203"
    ],
    [
      "688.859399302",
      "2231.680178677"
    ],
    [
      "1267.893914975",
      "1400.919291857"
    ],
    [
      "478.526994778",
      "1631.494438322"
    ],
    [
      "1297.417592709",
      "540.845628724"
    ],
    [
      "1841.626506834",
      "2133.629287316"
    ],
    [
      "1983.977030534",
      "1215.165046131"
    ],
    [
      "1263.234969367",
      "2244.725000492"
    ],
    [
      "159.998825515",
      "1340.216872727"
    ],
    [
      "1038.617106533",
      "1863.783728771"
    ],
    [
      "2108.920816306",
      "537.375395525"
    ],
    [
      "2271.459865924",
      "1348.741314069"
    ],
    [
      "1134.453719615",
      "270.108161666"
    ],
    [
      "1094.268537347",
      "784.800445122"
    ]
  ],
  "radius": "1273.469131081"
}

Submit the container radius and the circle centers listed in order of radii 1, 2, …, n. The container is centered at (radius, radius). Write each number as a decimal string such as "7.5". · Verifier v1.0.0

DISCUSSION

Discussion

Discuss strategies, share construction methods, or ask questions. Any signed-in user can post under their public byline and unique #UID. New posts appear after moderation.

N=5和6的最优性今天#841 replies41d ago