loading SCIP...
12 40266 true
10 20 28 41 51 56 64 65 81 82 88 96