RUN: $(variable_intervals_sat)