removing unused variables in solve_it method
removing duplicate problem definition in solve_it
Merge branch 'master' of https://github.com/discreteoptimization/setcover