loading SCIP...
11 41156 true
0 17 33 47 50 54 60 65 72 88 97