-9supra4 + 7supra6 + 13supra12​