Smallest k such that 2^(2^n+1)-1 + 2^k is prime, or -1 if no such k exists