a(n)*sqrt(7) = s(1)^(2n-1) + s(2)^(2n-1) + s(4)^(2n-1), where s(j) := 2*Sin(2*Pi*j/7) (for the sums of the respective even powers see A215494, see also A094429, A115146). For the proof of these formula see Witula-Slota's paper.