Отправить по sms: Construction and SAT−based verification of Contextual Unfoldings