TT的新房快好了，就剩最后一套沙发需要购买。TT家总共有N口人，每人的体型不尽相同，所以坐下后占据沙发的宽度也有长有短。
沙发店老板只有5米长的沙发，但你可以用多个5米的沙发拼接成一个长沙发，现给出TT家人占据沙发的宽度，求TT最少要购置多长的沙发才能坐得下所有家人？
3 1 2 2
5
数据范围：
100%的数据：n<=10000，1<=ai<=10。