loading SCIP...
23 20297 true
1 5 6 13 24 31 36 37 38 39 42 54 55 59 64 67 68 70 73 81 82 93 95