Chọn đội (Choosing Teams)

Nguồn: Codeforces

Phiên bản: Phước Hưng OJ Extended

Đề bài

Có $n$ học sinh. Học sinh thứ $i$ đã tham gia giải vô địch thế giới $y_i$ lần. Mỗi học sinh được phép tham gia tối đa $5$ lần.

Cần lập các đội, mỗi đội gồm đúng $3$ học sinh khác nhau. Một học sinh không được thuộc hai đội. Mỗi đội mới phải có khả năng giữ nguyên ba thành viên để tham gia thêm ít nhất $k$ lần.

Vì vậy học sinh $i$ đủ điều kiện khi và chỉ khi

Hãy tính số đội lớn nhất có thể lập.

Input

• Dòng đầu chứa hai số nguyên $n$ và $k$.
• Dòng thứ hai chứa $n$ số nguyên $y_0,y_1,\ldots,y_{n-1}$.

Output

In một số nguyên duy nhất là số đội lớn nhất.

Subtask

Subtask 1 (100 điểm): $1\le n\le2000$; $1\le k\le5$; $0\le y_i\le5$.

Ví dụ

Input

5 2
0 4 5 1 0

Output

1

Giải thích

Điều kiện là $y_i+2\le5$, tương đương $y_i\le3$. Ba học sinh có số lần tham gia $0,1,0$ đủ điều kiện, nên lập được đúng $3/3=1$ đội.