• محدودیت زمان: ۰.۵ ثانیه
• محدودیت حافظه: ۶۴ مگابایت

---

ابو‌اسحاق که از دوست‌داران همیشگی کدکاپ است، بعد از شکست در کدکاپ ۴ حسابی کلافه شد و تصمیم گرفت دنبال یک تیم حسابی برای بازگشت پرقدرت خود و دوستانش به کدکاپ ۵ بگردد. او که می‌خواست حداکثر نفوذ در کدکاپ را داشته باشد، تصمیم گرفت خودش تمام تیم‌بندی‌ها را انجام دهد.

دوستان ابواسحاق از سه شهر مختلف‌اند و بعضی از آن‌ها لپ‌تاپ دارند. به طور دقیق‌تر، از شهر $i$ اُم $a_i$ نفر دارای لپ‌تاپ و $b_i$ نفر بدون لپ‌تاپ، می‌خواهند در مسابقه شرکت کنند و ابواسحاق می‌خواهد طوری آن‌ها را تیم‌بندی کند که شرایط زیر برای هر تیم برقرار باشد:

• هر یک از تیم‌ها دو نفره باشد.

• هر تیم شامل دقیقاً یک نفر دارای لپ‌تاپ و دقیقاً یک نفر بدون لپ‌تاپ باشد.

• اعضای هر تیم از یک شهر باشند.

ابواسحاق در حال آماده شدن برای کدکاپ ۵ است و سرش شلوغ است. برای همین از شما می‌خواهد بیشینه تعداد تیم‌هایی را که با توجه به شرایط بالا می‌تواند تشکیل دهد را به او بگویید.

ورودی

ورودی دارای ۶ خط و در هر خط یک عدد است که به ترتیب نشانگر مقادیر $a_1$، $b_1$، $a_2$، $b_2$، $a_3$ و $b_3$ هستند.

$$ 1 \le a_i, b_i \le 100 $$

خروجی

در خروجی باید بیشینه تعداد تیم‌هایی که می‌توان تشکیل داد را خروجی دهید.

مثال

ورودی نمونه ۱

3
2
1
5
6
7

خروجی نمونه ۱

9

از شهر یک و دو و سه، به ترتیب حداکثر ۲ و ۱ و ۶ تیم می‌توان تشکیل داد.

ورودی نمونه ۲

1
1
2
2
3
3

خروجی نمونه ۲

6

از شهر یک، دو و سه، به ترتیب حداکثر ۱ و ۲ و ۳ تیم می‌توان تشکیل داد.