A Two-Stage Algorithm for Cost-Efficient Multi-instance Counterfactual Explanations | Synapse