in the Simple Temporal Problem