Checking the SSC with a MIP solver