已知三角形ABC的三边分别为a、b、c,并且满足等式|a-b-1|+|a+b-7|=-|c-5|,求三角形ABC的面.