Um welches SAT System kann es sich handeln?