终于A了(虽然得开O2才能过)！

其实就昰暴搜用一个 n+1 进制数表示状态，进行最优策略转移即可；

注意 cnt[] 如果开成全局变量就不能每次翻译那个 n+1 进制数否则会影响其它层的搜索；

(还有一种神奇的状态压缩是有几个用了 k 个1的列，就在第 k 个0后面加几个1……)