Αποστολή με SMS: Logic Synthesis for Genetic Diseases