ソースコード
#include <bits/stdc++.h>
#define syosu(x) fixed<<setprecision(x)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> P;
typedef pair<double,double> pdd;
typedef pair<ll,ll> pll;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<double> vd;
typedef vector<vd> vvd;
typedef vector<ll> vl;
typedef vector<vl> vvl;
typedef vector<string> vs;
typedef vector<P> vp;
typedef vector<vp> vvp;
typedef vector<pll> vpll;
typedef pair<int,P> pip;
typedef vector<pip> vip;
const int inf=1<<30;
const ll INF=1ll<<60;
const double pi=acos(-1);
const double eps=1e-8;
const ll mod=1e9+7;
const int dx[4]={-1,0,1,0},dy[4]={0,-1,0,1};
int n,m,A;
vi a;
int main(){
ios::sync_with_stdio(0);
cin.tie(0);
cin>>n>>m>>A;
assert(m==3);
int S=1<<n;
a=vi(n);
for(int i=0;i<n;i++) cin>>a[i];
vi DP(S);
vvi dp(S,vi(m+1));
dp[0][0]=1;
for(int i=0;i<S;i++){
int t=0;
for(int j=0;j<n;j++) if(i&1<<j) t+=a[j];
DP[i]=(t+A-1)/A;
}
for(int i=1;i<S;i++){
int I=i;
while(I){
int t=DP[I];
for(int j=t;j<=m;j++) dp[i][j]|=dp[i-I][j-t];
I=(I-1)&i;
}
}
for(int i=m;i>=0;i--) if(dp[S-1][i]){
cout<<n-i<<endl;
break;
}
}