Mistral's small, efficient open reasoning model.
Add a second model to compare.
This model hasn't been benchmarked yet.