Enviar por SMS: Resource constrained project scheduling with general precedence relations optimized with SAT