The user will give a CNF in dimacs format.
Samsung Unpacked 2026 live blog: Galaxy S26 Ultra specs, Buds 4 Pro, Bixby, more
，更多细节参见旺商聊官方下载
为了在相对公平的环境下对比，我决定将人工干预降到最低：只提供基础内容和最简单的指令，以此测试各家软件生成能力的「下限」。这不仅是因为（囊中羞涩）测试积分有限，更为了模拟真实的「开箱即用」场景——毕竟，作为普通用户，大多数人只想要一个能用的 PPT，而不是被强迫系统学习提示词工程。
swap(&arr[i], &arr[minIdx]);