遗憾的是，受限于专属硬件，这项功能大概率只有 S26 Ultra 独占，就连下半年的 Z Fold8 也要排队等候。
The user will give a CNF in dimacs format.，更多细节参见safew官方下载
const res = new Array(len); // 结果数组：存储每个元素的下一个更大值。Line官方版本下载对此有专业解读
(e.g. custom) product. IBM probably regarded it as a prototype or pilot with