loading SCIP...
29 8828 true
0 2 3 12 16 17 23 30 32 36 45 46 47 50 52 55 58 69 70 71 72 73 75 77 79 81 87 91 95