// UUID: b7e6c2fd-9745-4bf8-8426-356afabbcb50
#include <bits/stdc++.h>
#include <vector>
using namespace std;

int main() {
	long long n,x,kossz=0,fossz=0;
    cin>>n>>x;
    for(int i=0;i<n;i++){
        long long y;
        cin>>y;
        fossz+=y%3;
        kossz+=y/3;
    }
    if(fossz>kossz){
        cout<<kossz;
    }
    if(fossz==kossz){
        cout<<kossz;
    }
    if(kossz>fossz){
        do{
            kossz-=1,
            fossz+=x;
        }while(fossz>=kossz);
        cout<<kossz;
    }


}