It's not clear to me why isn't the 5.6 Sol Pro available on Codex. Maybe due to the high computational demands and slow speed. But as an anecdote, once when the

It's not clear to me why isn't the 5.6 Sol Pro available on Codex. Maybe due to the high computational demands and slow speed. But as an anecdote, once when the Sol Ultra models were stumped on one problem, I gave the full extended documentation and all the details to the Sol Pro model to review and provide a suggestion. It eventually did, but the Ultra pushed back against the proposals, and they also seemed sketchy to me as well. We eventually tried them and they didn't work. Maybe the Sol Pro is not that great anymore, considering the token vs output balance.