#include using namespace std; int T; main() { cin>>T; for(;T--;) { int N,A,W,K; cin>>N>>A>>W>>K; if(AW) { cout<<":("<K) { if(K-1<=A) { cout<<(A-(K-1))/K<=N-1) { long S=0; long T=W/N; S-=T*(T+1)/2; if(A>=N-1)S+=(A-(N-1))/N; cout<0) { long S=0; long T=W/N-1; S-=T*(T+1)/2; S-=T+1; cout<