changed min percentage samples for MC-SAT to 75%