Thus, the sum of all real solutions is $ \boxed{13} $.

Tue, 05 May 2026 14:05:30 +0000

Content under review