Smallest k such that 2^(3*2^n) - k is a safe prime