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