My experience with DDX and D3200 is that you should use the dev times for the next speed up i.e. if you are shooting at 3200 then go for the time for 6400. I can't say that this applies to P3200 but the two films are very similar and it is worth asking the question.

Again and this is only my D3200 experience, I'd try and shoot at say 1600 if the light conditions allow.