loading SCIP...
10 45406 true
1 4 24 28 37 40 43 62 87 90