Flexible and Robust Counterfactual Explanations with Minimal Satisfiable Perturbations