Import optimal base algorithm from maxSatUZK