r1 distill 32B (RD3)