Text this: Proximal-stabilized semidefinite programming.