loading SCIP...
20 28797 true
0 2 10 11 12 13 36 37 52 60 67 68 76 81 83 88 90 94 96 99