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

Sun, 03 May 2026 08:26:22 +0000

Content under review