Let p be an odd prime and n=4p+1. Suppose that 2^p is congruent to 1 (mod n). Does n pass Miller's test to base 2?

Thank you very much.