bjoern_tantau, 9 months ago If a solution is not in our sets it does not exist.
If a solution is not in our sets it does not exist.