Для розв"язання проблеми Ins-Max-EkCSP-P (реоптимiзацiя Max-EkCSP-P при додаваннi довiльного обмеження) при k = O(log n) iснує полiномiальний А(®Z) -наближений алгоритм, де А(®Z) = 2j1=®Z i ®Z - цiлочисловий розрив напiввизначеної (SDP) релаксацiї Max-EkCSP-P проблеми Z. При виконаннi унiкальної iгрової гiпотези(UGC) вiдношення апроксимацiї А(®Z) є пороговим при k = const