11. Vorlesung (10.01.2020): MaxSat durch randomisiertes Runden