I don't see why getting the satisfying assignment really matters. If your AI sometimes declines to answer, then it can cause trouble anyway. If your AI always tries "its best" to answer, then you can just ask "Is there a satisfying solution that starts with 1? With 0?" though admittedly this is less efficient.
Which example is better may depend on your audience and your possible concerns.