RUN: $(mps_driver) --input $(maximization.mps)