SEE opt math model set solution