resolving set covering bug