loading SCIP...
27 15078 true
0 8 9 13 15 16 22 26 29 37 39 43 46 47 54 57 58 63 65 66 68 79 82 91 96 97 99