Solving-emptiness