Given that N is an odd integer > 1 which is not divisible by 3.

Is floor(4^N - (2+√2)^N) always divisible by 112 for every possible value of N?
If so, prove it. Otherwise, provide a counterexample.