已知Rt三角形ABC中 角2=90度 且三边为a、b、c,a-12的绝对值+(c-13)的平方=0 则S三角形ABC是多