The issue is that there are exponentially many of them and you cannot easily rule out that there is no better solution than the one you have on hand.
That is why we solve these problems for as long as possible with as many resources as possible.