Reasoning with o1 team: NeuraHack