式子中，取上界符号不太好估计。实际上，以上式子只与 $a,b,c$ 对 $16$ 的余数有关，可通过暴力枚举发现，仅在 $c-b=1,2,5$ 时，可能成立。

用状压 dp。其中 $dp[i][2^5]$ 表示前 $i$ 场比赛，且 $p=a_i-1,2,3,4,5$ 的比赛是否参赛的情况下的最大 rating，转移即可。