First problem solution: Simplex with Big-M