If you are into small local models I highly recommend vibe thinker. It's a model trained specifically for reasoning. Basically a problem solver. When compared with other models, on math problems benchmarks, it's closer to models hundred times its size than ten times its size which it beats comfortably.

It supports long contexts on limited VRAM and is blazing fast.

https://github.com/WeiboAI/VibeThinker