BSTC Reasoning 2025