SMS: Linear programming