筛选

条件

Buchi全球

结果77.