loading SCIP...
11 41906 true
4 18 35 36 50 51 71 72 76 80 91