Αποστολή με SMS: Theory and Applications of Satisfiability Testing -- SAT 2015