SMS dit: Linear programming