Zaslat SMS: A CSP solution to the trains problem