Simplify (a^-5b^8c^-12)(a^7b^-3c^7)