POLSKI SPOJ

Mały Jasio znalazł pudełko z patyczkami. Postanowił z nich budować trójkąty równoboczne. Na każdy taki trójkąt zużywał trzy patyczki o jednakowej długości, nie łamiąc ich, ani nie łącząc. Napisz program, który wczyta długości patyczków i wyznaczy największą liczbę trójkątów jakie można zbudować, przy założeniu, że każdy patyczek można wykorzystać tylko raz.

Wejście

W pierwszym i jedynym wierszu wejścia znajduje się jedna liczba całkowita n nie większa od 1024 oznaczająca liczbę patyczków. W wierszu drugim znajduje się n liczb całkowitych dodatnich nie większych od 256, oznaczających długości patyczków.

Wyjście

Pierwszy i jedyny wiersz wyjścia powinien zawierać jedną wartość - liczbę trójkątów jakie można zbudować z patyczków o długościach podanych na wejściu.

Przykład

Dla danych wejściowych:

12
3 5 3 4 3 3 4 3 3 4 3 3

poprawną odpowiedzią jest:

3

Wyjaśnienie do przykładu: Jasio może zbudować dwa trójkąty o bokach długości 3 i jeden trójkąt o bokach długości 4, łącznie 3 trójkąty równoboczne. Na więcej tójkątów zabraknie budulca.