इसका टेक्स्ट मैसेज भेजे: On guaranteed optimal robust explanations for NLP models