�@�u�����������������i�߂��ɂ́A�Ɩ��v���Z�X�̐������O���ƂȂ��BAI�������̕s�\���ȃv���Z�X�����ۂɉ��P���Ă������l���A���͂����܂Ō������Ƃ��Ȃ��v�i�x���g�U�[���j
// 易错点3：升序排序 → 逻辑完全错误（无法保证"后车不超车"的前提）
，更多细节参见safew官方下载
她將這種情況比喻為「回到大學」。
SAT problem with 14 variables and 126 clauses