I want minizinc to find solution in a particular order to minimize the overlap with existing solutions.