sa:synthetic_reasoning