[Bug 428147] New: problems with satsolver during network installation