loading SCIP...
20 23828 true
0 1 2 7 11 13 19 20 27 28 42 52 57 67 71 82 83 94 96 97