fewer unnecessary variables and constraints, and handle mosek stall better