对第一篇题解的最后一步用 SOSDP 优化。