1 problem

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