On Finding a Solution in Temporal Constraint Satisfaction Problems