单点时限: 2.0 sec
内存限制: 256 MB
公元2333年，人们发现了来自古老东方B栈的神奇咒语233，经过dlf的潜心研究，233原来还有一种增强版咒语TTT(Two Three Three)。
dlf的伙伴有 $n$ 人，每个人都有命格数 $a_i$。为了发动TTT需要两个条件：
然而每个人一生只能参与一次咒语的发动，因而dlf想要知道自己的伙伴们最多能够发动多少次咒语。
多组数据，数据组数不超过 $10^4$，每组数据的第一行为 $n$，伙伴的数目
接下来一行 $n$ 个数，第 $i$ 个数 $a_i$ 为第 $i$ 位伙伴的命格数
保证 $40\%$ 数据满足：所有人的命格都包含2
保证 $1\leq n,a_i\leq 233$
输出一行结果，最多发动多少次咒语
3 233 233 233 3 231 232 233
1 2