loading SCIP...
11 37062 true
1 3 8 18 31 45 67 70 71 93 96