[Bug 428147] problems with satsolver during network installation