(a+3b-4c)(a-3b+4c)