That is example after tax withholding, sale of some exercise

ed options to cover strike price. It depends on tax rate, strike price...

Those benefit website may have simulation one can try out.