Default solver is Gurobi.