First of all 10000 iso is not a good iso to use in raw, you should use 6400 or 12000, and always expose ettr, in resolve or acr lifting up any exposure (low, mids, highs or exp en general) will produce noise.
I dont think iso 6400 is usable in h264, 6400 en raw is ok, but i wouldn't go all the way up to 12000. (5d mark III)