download mosek solver

11/3/2020