12-(Sqrt[2] + 2 Sqrt[3] + 2 Sqrt[5] + Sqrt[7])