Reasoning with o1 team: Deep Synth Solutions