Get whichever of those two is cheaper, because they both will work. The rated specs are the maximum/minimum. 5600MHz sticks will run at 4800MHz just fine. And CL38 sticks will run at CL40 just fine.
After selecting their XMP profiles in the BIOS, you can either try booting and see if it’s stable at their max speeds, or lower the corresponding thing to the max the CPU says is ok.
Btw, if it’s not stable at all at max speeds, and you can’t get back into BIOS, just reboot it like 5 or 6 times and the BIOS should reset.