loading SCIP...
16 35718 true
0 5 15 28 30 39 41 43 46 49 68 79 80 81 90 99