Lightweight, state-of-the-art open LLM with strong math and logical reasoning skills.