この資料をSMS送信: On guaranteed optimal robust explanations for NLP models