small models aiming at symbolic reasoning with fewshot prompts