Yeah, that would get us the 100/200 number. And export to China isn't the only concern, I suppose. But why the 142? At least go for 143, then he could export (2x142=284)=(4x57+56), and import (5x57)=(143+142). So he could take whatever China sends, and have only a minor capacity loss the other way.