31 How much time do employees have to exercise their options after leaving the company?