Semidefinite_programming loading ...