Solve 5^n -4n -1 = 16k in integers