RUN: $(OptionalIntervalSampleSat)