loading SCIP...
11 40031 true
0 3 12 14 27 29 40 60 93 94 98