loading SCIP...
25 15141 true
0 3 10 19 29 31 35 36 43 49 50 52 58 68 69 72 74 78 81 84 85 88 91 97 98