problem: optimize for Isolated constraint