Solver: Nicht mehr benötigte Variable entfernt.