Update to satUZK revision f02b77c1bb
Move optimal base algorithm to encodeuzk