loading SCIP...
12 39000 true
0 14 15 24 41 44 45 48 57 67 72 75