Solver wieder umgestellt auf Intersection statt TryAndError