RUN: $(SimpleSatProgram)