loading SCIP...
10 41843 true
11 24 25 35 36 50 52 70 79 81