mosek infeas. flags updated