Hilfslinien Importieren mittels SAT moeglich?