#include using namespace std; using ll = long long; inline void init() { cin.tie(nullptr); cout.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); } #include "testlib.h" int main() { init(); registerValidation(); int t = inf.readInt(1, 100); inf.readEoln(); ll n_sum = 0; while (t--) { ll n = inf.readInt(2, 200000); inf.readSpace(); n_sum += n; ll a = inf.readInt(0, 1000000000); inf.readSpace(); ll w = inf.readInt(0, 1000000000); inf.readSpace(); ll k = inf.readInt(1, n); inf.readEoln(); if (a < k - 1 && w < n - k + 1) { cout << ":(\n"; continue; } ll ans; if (k == n) { ll c = (w + n - 1) / n, f = w / n; ll x = w % n, y = n - x; ll xw = -c * (c + 1) / 2, yw = -f * (f + 1) / 2; if (x == 0) { if (a < n - 1)ans = min(yw - (f + 1) + a, yw - 1); else ans = yw + (a - (n - 1)) / n; } else { if (a < x - 1)ans = min(xw - (c + 1) + a, xw - 1); else { if (a <= c * x - 1)ans = xw + (a - (x - 1)) / x; else ans = yw - 1 + (a - (c * x - 1)) / n; } } } else { if (a < k - 1)ans = -1; else ans = (a - (k - 1)) / k; } cout << ans << "\n"; } assert(n_sum <= 200000); inf.readEof(); return 0; }