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

Sun, 03 May 2026 14:18:09 +0000

Content under review