instruction: count the number of patients whose discharge location is snf and diagnoses long title is cerebral artery occlusion, unspecified with cerebral infarction?
response: SELECT COUNT(DISTINCT demographic.subject_id) FROM demographic INNER JOIN diagnoses ON demographic.hadm_id = diagnoses.hadm_id WHERE demographic.discharge_location = "SNF" AND diagnoses.long_title = "Cerebral artery occlusion, unspecified with cerebral infarction"