题目描述

小 Z 来到了雪糕批发市场，想购买一些雪糕给朋友分享。市场里总共有 $N$ 种雪糕，每个雪糕价格为 $a_i$。因为购买数量较多，市场老板给小 Z 提供如下三种优惠方案：

方案一：可以使用优惠券，满 $300$ 块钱优惠 $80$ 块钱，并且优惠券可以无限叠加（不能超过总价格）。

方案二：每支雪糕金额降低 $5$ 块钱。但是，如果每支雪糕的价格小于等于 $5$ 块钱，则每支雪糕的最低价格为 $1$ 块钱。

方案三：买 $8$ 支同一种类的雪糕可以赠送 $2$ 支相同同种类的雪糕。

现在，小 Z 告诉你每一款雪糕需要购买的个数 $b_i$ 以及每款雪糕的价格 $a_i$ ，并且只能购买对应数量的雪糕，不能多买或少买。请你计算最少的付款金额是多少？

保证最后答案小于 $10^{18}$。

输入格式

第一行输入一个正整数 $N$，代表雪糕的种类。

第二行输入 $N$ 个整数 $a_i$，代表每种雪糕的价格。

第三行输入 $N$ 个整数 $b_i$，代表每种雪糕需要购买的个数。

输出格式

请输出一个整数，代表最少的付款金额。

样例

5
10 20 30 40 50
0 0 0 0 10

400

说明/提示

样例解释

对于本样例，三种方案的金额计算如下：

方案一只能使用一次优惠券，金额为 $50 \times 10-80=420$；

方案二将每支雪糕价格降低 $5$ 块钱，金额为 $(50-5)\times 10=450$;

方案三只能使用一次优惠，金额为 $50 \times (10-2)=400$。

故答案为 $400$。

数据范围

对于 $40\%$ 的数据， $0 \le N,a_i,b_i \le 100$，且只需要购买一款雪糕。

对于 $100\\%$ 的数据，$0 \le N,a_i,b_i \le 2 \times 10^5$。