loading SCIP...
10 41250 true
0 5 29 32 56 58 60 62 73 78