Solving a large scale districting problem: a case report · Study