hi:sa:synthetic_reasoning