Wie funktioniert ein SAT-Verteiler?