weighted greedy set covering, Apr 27 version
updated with formated output, Apri 27