Semidefinite Relaxation For