The Role of Advanced Solvers in Enhancing DeFi Trading Efficiency