Үүнийг мессежээр илгээх: On guaranteed optimal robust explanations for NLP models