loading SCIP...
30 8860 true
0 1 4 5 9 10 11 17 21 22 23 24 26 31 32 34 42 50 57 58 61 68 73 74 78 79 81 83 84 96