fixed bug in SDPA_ex.osil: must be a maximization problem