loading SCIP...
11 41500 true
1 2 23 42 44 66 67 68 81 85 93