Zaslat SMS: Combinatorics and Reasoning