The Saratov State University Olympi

The Saratov State University Olympiad Programmers Training Center (SSU OPTC) has n students. For each student you know the number of times he/she has participated in the ACM ICPC world programming championship. According to the ACM ICPC rules, each person can participate in the world championship at most 5 times.

The head of the SSU OPTC is recently gathering teams to participate in the world championship. Each team must consist of exactly three people, at that, any person cannot be a member of two or more teams. What maximum number of teams can the head make if he wants each team to participate in the world championship with the same members at least k times?

Input
The first line contains two integers, n and k (1 ≤ n ≤ 2000; 1 ≤ k ≤ 5). The next line contains n integers: y1, y2, ..., yn (0 ≤ yi ≤ 5), where yi shows the number of times the i-th person participated in the ACM ICPC world championship.

Output
Print a single number — the answer to the problem.

Results (Vietnamese) 1:

Các Saratov State University Olympic các lập trình viên Trung tâm đào tạo (SSU OPTC) có n sinh viên. Đối với mỗi học sinh bạn biết số lần họ đã tham gia giải vô địch ACM ICPC thế giới lập trình. Theo các quy tắc ACM ICPC, mỗi người có thể tham gia các giải vô địch thế giới tối đa 5 lần.Người đứng đầu của SSU OPTC mới tập hợp các đội tham gia giải vô địch thế giới. Mỗi đội phải bao gồm chính xác ba người, lúc đó, bất kỳ người không là thành viên của hai hay nhiều đội. Những gì số lượng tối đa của đội trưởng có thể nếu anh ta muốn mỗi đội tham gia giải vô địch thế giới với các thành viên cùng lúc ít nhất k lần?Đầu vàoDòng đầu tiên chứa hai số nguyên, n và k (1 ≤ n ≤ 2000; 1 ≤ k ≤ 5). Tiếp theo dòng gồm n số nguyên: y1, y2,..., yn (0 ≤ yi ≤ 5), nơi yi Hiển thị số lần i-th người tham gia giải vô địch thế giới ACM ICPC.Sản lượngIn một số duy nhất-câu trả lời cho vấn đề.

Results (Vietnamese) 2:

Trung tâm Saratov State University Olympiad lập trình Đào tạo (SSU OPTC) có n sinh viên. Đối với mỗi sinh viên, bạn biết số lần anh / cô ấy đã tham gia ACM ICPC vô địch lập trình thế giới. Theo các quy tắc ACM ICPC, mỗi người có thể tham gia vào giải vô địch thế giới nhiều nhất là 5 lần.

Người đứng đầu của SSU OPTC gần đây đang tập hợp các đội tham gia giải vô địch thế giới. Mỗi đội phải bao gồm chính xác ba người, ở đó, bất kỳ người nào không thể là một thành viên của hai hoặc nhiều nhóm. Những số lượng tối đa của các đội có thể đứng đầu làm nếu ông muốn mỗi đội tham gia giải vô địch thế giới với các thành viên cùng một lúc lần k nhất?

Input
Dòng đầu tiên chứa hai số nguyên, n và k (1 ≤ n ≤ 2000; 1 ≤ k ≤ 5). Dòng tiếp theo chứa n số nguyên. Y1, y2, ..., yn (0 ≤ yi ≤ 5), nơi yi cho thấy số lần người thứ i tham gia giải vô địch ACM ICPC thế giới

Output
In một số duy nhất - câu trả lời cho vấn đề.