Wichtigkeit von Merkmalen für die Klassifikation von SAT-Instanzen