Working but omega contains same solns.
Checked that omega contains distinct solutions. However, optimization still not verified.