题目背景

每年 $12$ 月份，小T的学校都会举行盛大的游园活动，游园活动中有各种各样的游戏，比如投篮比赛、足球射门、背诗词、猜灯谜等。

题目描述

今年的游园活动加入了类似于王者荣耀的网络对战游戏，需要同学们队成多个战队，战队之间进行PK。

每个战队由 $4$ 个人队成，其中包含 $1$ 个队长和 $3$ 个队员，每个人都有一个操作熟练值 $a_i$，操作熟练值越大，玩游戏的水平就越高。

一个战队的游戏水平定义为，队长的操作熟练值加上 $3$ 个队员中操作熟练值最高的那个人的操作熟练值。

现在游戏队织者已经帮大家挑选出了 $n$ 个同学作为队长候选人，剩余的 $3 * n$ 个队员作为队员备选，希望聪明的你能帮他计算如何分队，才能使得各个游戏战队的游戏水平最“均衡”。

“均衡”是指：所有游戏小队中操作熟练值最大的小队，操作熟练值越小，分队越均衡。

输入格式

第一行一个整数 $n$, 表示队长候选人的数量。

第二行 $n$ 个整数 $a_1, a_2, \cdots, a_n$，表示队长候选人的操作熟练值。

第三行 $3 * n$ 个整数 $b_1, b_2, \cdots, b_{3n}$，表示队员备选人的操作熟练值。

输出格式

输出一个整数，在最“均衡”的分队情况下，表示所有游戏小队中，操作熟练值最大的小队的操作熟练值。

样例数据

输入样例 #1

3
8 9 10
2 2 3 1 8 7 4 5 2

输出样例 #1

16

样例#1解释

1队各成员操作熟练值为：队长 $10$，队员 $2, 2, 1$，操作熟练值为 $10 + 2 = 12$。

2队各成员操作熟练值为：队长 $9$，队员 $3, 4, 2$，操作熟练值为 $9 + 4 = 13$。

3队各成员操作熟练值为：队长 $8$，队员 $8, 7, 5$，操作熟练值为 $8 + 8 = 16$。

所以，最“均衡”的分队情况下，所有游戏小队中，操作熟练值最大的小队的操作熟练值为 $16$。

数据范围

对于 $10\%$ 的数据，$n = 1$。

对于 $30\%$ 的数据，$n \le 5$。

对于 $60\%$ 的数据，$n \le 3000$。

对于全部数据，$1 \le n \le 10^5$，$0 \le a_i,b_i \le 10^4$。