A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions