added a min percent of requested samples for MC-SAT config parameter