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

Sun, 03 May 2026 03:06:37 +0000

Content under review