1. (2017八下·柯桥期中) 我国古代数学家秦九韶在《数书九章》中记述了“三斜求积术”，即已知三角形的三边长，求它的面积．用现代式子表示即为：s= （其中a、b、c为三角形的三边长，s为面积）．若已知三角形的三边长分别为5，6，7，试运用公式计算该三角形的面积s．