udpate mopsy call to findCoresUnsat