[($13.7 billion/$42)*$45]-$13.7 billion