Update maxSatUZK to current satUZK version