The option price was reported to be $15.25 - he both exercised and sold the bulk shares for that option on one day in one transaction.
What was Viacom trading at at the time? Do you know?