Constrained Decoding Impact on LLM Reasoning | HACKOBAR_