example 403 is now skipped if mosek is not found Former-commit-id: 852065e312
852065e312
Former-commit-id: aa16acc78b
aa16acc78b