SMS dit: Linear Programming