loading SCIP...
17 31875 true
0 1 15 16 18 23 38 39 42 45 49 62 63 65 87 97 98