Therefore, the solution is $\boxed12$. - RTA
May 09, 2026
Content is being prepared. Please check back later.