There are many cases where you can verify an answer much more easily than finding it. Not saying that necessarily applies here, but for the more general problem space it isn't the limitation it might appear to be at first.