RUN: $(SimpleLpProgramMb)