pipeline changed MIP_SCP: first only CSP, then MIP for verification