Stav dette: Additive sparsification of CSPs