Added exact_time constraint to the model