loading SCIP...
19 30969 true
7 17 19 26 28 29 30 33 36 38 39 44 58 66 77 78 84 85 98