loading SCIP...
43 1031 true
0 4 5 9 14 15 16 25 30 32 34 40 42 45 47 48 50 52 53 54 55 56 59 61 65 67 69 70 74 75 76 78 79 83 85 86 88 91 93 95 96 97 98