Für was ist ein SAT-Verteiler?