loading SCIP...
11 33218 true
1 15 36 45 56 63 75 83 88 94 97