Fixing feasibility test in exhaustive search