I think in your calculations above you need to consider USCIS Approvals only which are 123K and not 140K
So, 123K - (80K+EB4+EB5) = 123 -(80+ ~11 + ~3) = 29K. Right in line with what was expected for SOFAD.
Other 17K is CP and they will be there regardless if we assume nothing is used by EB2I . Most of these are usually used by EB3-C-P-ROW and EB2-ROW; and make big chunk for CP cases.