loading SCIP...
13 38297 true
2 19 20 27 45 50 55 61 65 78 86 94 96