Another small satconfig optimalizations

As suggested by Huevos