loading SCIP...
23 22844 true
0 5 8 13 17 20 21 32 46 48 58 60 63 65 68 73 79 81 83 86 87 91 97