第三十一条 核设施营运单位应当按照国家规定预提核设施退役费用、放射性废物处置费用，列入投资概算、生产成本，专门用于核设施退役、放射性废物处置。
CreditsHosts: Devindra Hardawar and Igor Bonifacic
，这一点在Line官方版本下载中也有详细论述
// (it isn't always in every impl)
Update: Sonnet 4.6 was released on Feb 17, 2026. We'll run the benchmark against it and update results soon.
For UNSAT problems with 10 variables and 200 clauses, it had the same issue as Gemini 3 Pro of making up assignments.