[Bug 527506] New: libsatsolver-0.14.3-1.2: resource leak in loop