I was working on a sample MIP program - a selection of a coed sports team starting lineup and found a small example that comes up with a non-optimal result in Google OR-tool
