A71315. TT 买沙发（sofa）
编程题
入门
知识点
题目描述
TT 的新房快好了，就剩最后一套沙发需要购买。TT 家总共有 n 口人，每人的体型不尽相同，所以坐下后占据沙发的宽度也有长有短。
沙发店老板只有 5 米长的沙发，但你可以用多个 5 米的沙发拼接成一个长沙发，现给出 TT 家人占据沙发的宽度，求 TT 最少要购置多长的沙发才能坐得下所有家人？
输入格式
第一行：一个整数 n，表示 TT 家的人口数。
第二行：n 个空格隔开的整数 a_i,表示每个人的体型宽度。
输出格式
只有一个整数，表示需要购买的最短的沙发长度。
输入输出样例
输入 #1
3 1 2 2
输出 #1
5
输入 #2
7 5 9 10 8 4 1 4
输出 #2
45
说明/提示
100 \% 的数据：n \le 10000，1 \le a_i \le 10 。