QCQP abstraction, with interface to Mosek