• محدودیت زمان: ۱ ثانیه
• محدودیت حافظه: ۱۰۲۴ مگابایت

---

دانشگاه تهران یکی از بهترین سلف‌های دنیا را دارد و کیفیت غذای آن فوق‌العاده است**!**

میکائیل مسئول سلف دانشگاه تهران است و بسیار انسان منظمی است. همچنین او به عدد چهار علاقه‌ی زیادی دارد (این علاقه ریشه در اعتقاد شدید او به علم ژنتیک دارد). به همین جهت، سیستم پخش غذا در دانشگاه تهران به این صورت است که غذاها به صورت چهار تا چهار تا بسته‌بندی می‌شوند. سپس در هر نوبت، یک گروه حداکثر چهار نفره داخل صف می‌شوند و میکائیل یکی از بسته‌ها را باز می‌کند. سپس به هر کدام از افراد داخل صف دقیقا یک غذا می‌دهد و برای حفظ عدالت بقیه‌ی غذاهای آن بسته را خودش می‌خورد.

از آن‌جایی که در دانشگاه تهران میزان فشار بر روی دانشجوهای مختلف خیلی متفاوت است، بعضی از افراد یک غذا، بعضی دیگر دو غذا،‌ و حتی بعضی‌ها به علت فشار بسیار زیاد سه غذا می‌خواهند. تعداد غذاهایی که نفر $i$ ام می‌خواهد را $a_i$ می‌نامیم.

دانشگاه تهران مسئولین بسیار مهربانی دارد و به هر کس هر تعداد غذا که بخواهد، داده می‌شود ولی خب بودجه‌ی آن‌ها محدود است و می‌خواهند تا جایی که می‌توانند در تهیه‌ی غذاها صرفه‌جویی بکنند. حال آن‌ها از شما کمک خواسته‌اند و می خواهند بدانند که میکائیل حداقل چند بسته غذا باید تهیه کند. به آن ها کمک کنید تا ورشکست نشوند!!!

ورودی

در سطر اول ورودی عدد $n$ آمده است.

در سطر دوم $n$ عدد آمده است که عدد $i$ ام $a_i$ می باشد. $$1 \le n \le 5\ 000$$ $$1 \le a_i \le 3$$

خروجی

در تنها سطر خروجی کمترین تعداد بسته‌ی غذا که میکائیل باید تهیه کند را چاپ کنید.

مثال

ورودی نمونه ۱

4
1 1 1 1

خروجی نمونه ۱

1

در یک مرحله، همه‌ی چهار نفر داخل صف قرار می گیرند و به هر کدام از آن ها دقیقا یک غذا داده می‌شود و همه به خواسته‌ی خود می‌رسند.

ورودی نمونه ۲

3
1 1 2

خروجی نمونه ۲

2

در مرحله‌ی اول هر سه نفر داخل صف قرار می‌گیرند و به هر کدام از آن‌ها یک غذا داده می‌شود و یک غذا را نیز خود میکائیل می‌خورد. ولی چون نفر سوم دو غذا می‌خواهد، یک بار دیگر هم در صف قرار می‌گیرد و برای بار دوم غذا دریافت می‌کند و سه غذای باقی‌مانده از بسته‌ی دوم را نیز خود میکائیل نوش‌جان می‌کند!