题目背景

你是小阿巴，春节将近，你的父母、兄弟姊妹、祖父母和外祖父母、孙子女和外孙子女、儿媳和公婆、女婿和岳父母、伯伯、叔叔、姑母、舅、阿姨、侄子女、甥子女、堂兄弟姊妹、表兄弟姊妹都给你了压岁钱，你一共得到了$10^{114514}$元。你眼都不眨地用这些钱购入了雨云上的Xeon Platinum 8272CL $10^{9999}$ EB内存的高防物理机。结果用了$\frac{1}{24}$天就发现自己根本不需要这么多资源。于是你退掉了这台服务器，想要再买一台自己的服务器，把钱花在刀刃上。

题目描述

你在原先的服务器上把服务器满载时的进程名称和占用的内存都记录下来了，但是一个可执行文件可能运行后有多个进程。

在Linux中，一个可执行文件的多个进程的内存是通用的。例如在进程列表中，有十个叫做nginx的进程，这几个进程的内存占用都是 $114.514$ GB。由于它们都是同一个文件，所以这几个进程的内存占用不是 $114.514\times10=1145.14$ GB，而就是 $114.514$ GB。

你一共记录了 $n$ 个进程，每个进程都有一个字符串 $s$ 代表程序名，还有一个整数 $m$ 代表这个进程占用的内存(GB)。求最终服务器的内存需要多少GB？ （向上取整至2的倍数，满载时的内存不可超过总内存的70%）

数据格式

输入格式

第一行一个整数 $n$，

接下来 $n$ 行，第 $i$ 行输入一个字符串 $s_i$ 和一个整数 $m_i$，用空格分隔。

输出格式

一行一个整数，表示小阿巴的服务器内存需要买多少个GB。（向上取整至2的倍数，满载时的内存不可超过总内存的70%）

数据样例

10
paper.jar 5
paper.jar 5
paper.jar 5
paper.jar 5
velocity.jar 1
velocity.jar 1
velocity.jar 1
nginx 2
nginx 2
nginx 2

8

数据范围

对于 $100\%$ 的数据，$1 \leq n \leq 10^5$，$1 \leq m \leq 10^4$

尾语

这个故事告诉了我们：我们要选择适合自己的东西，一个萝卜一个坑。

Problem By Aero8m From Aero8m OJ