cnfgen -q randkcnf 4 $VARIABLES $CLAUSES
// 单调栈：用于计算nums2中每个元素的下一个更大值（保持你的命名风格）
，这一点在safew官方下载中也有详细论述
The German firm supplies about three-quarters of the bone cement needed in the NHS. The product is used in more than 1,000 operations a week, mostly in knee replacements, but also in some hip and shoulder replacements.
Venusaur, Charizard and Blastoise