loading SCIP...
14 39000 true
0 1 18 33 38 41 62 66 70 77 78 81 96 97