KöMaL 2016 B4784

Prove that the following inequality is true for all real numbers $a$ , $b$ , $c$ : $2\big(a^4+b^4+c^4\big)+\frac{71+17\sqrt{17}}{2}\ge 4abc+ a^2b^2+c^2a^2+3b^2c^2.$