loading SCIP...
11 45781 true
0 12 19 31 37 58 61 81 82 84 90