经 assert 检验，有 $M\le 20$。建议添加。