A 45 yr old male , chronic smoker came to OPD for medications that can help him to stop smoking . Patient has h/O seizures. Which of the following is drug of choice for the given case?