2 problems

Near-threshold resolution lower-bound conjecture. For an instance size $n$ with no solution, $n\notin S$, if

Fast convergence rate conjecture. The convergence satisfies