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

Sat, 02 May 2026 21:03:19 +0000

Content under review