Let $a$, $b$ and $c$ be non-negative numbers such that $ab+ac+bc=3$. Prove that: $$\sqrt{a^2+b^2+7bc}+\sqrt{b^2+c^2+7ca}+\sqrt{c^2+a^2+7ab}\geq9$$ The equality occurs also for $a=2$, $b=\frac{3}{2}$ and $c=0$.
I tried the following Holder. $$\left(\sum\limits_{cyc}\sqrt{a^2+b^2+7bc}\right)^2\sum_{cyc}(a^2+b^2+7bc)^2(ka+mb+c)^3\geq$$ $$\geq\left(\sum_{cyc}(a^2+b^2+7bc)(ka+mb+c)\right)^3.$$ Thus, it remains to prove that $$\left(\sum_{cyc}(a^2+b^2+7bc)(ka+mb+c)\right)^3\geq9(ab+ac+bc)^2\sum_{cyc}(a^2+b^2+7bc)^2(ka+mb+c)^3,$$ but I did not find a non-negative values of $k$ and $m$, for which the last inequality would be true.