注意取模后方案数可能是 $0$ 但实际上存在这种方案。