若三角形ABC的三边a、b、c满足a的平方+b的平方+c的平方+200=12a+16b+20c,求三角形ABC的面积