loading SCIP...
38 3671 true
0 4 9 11 12 13 16 18 19 21 24 26 28 30 33 38 46 50 53 54 57 59 62 67 68 73 80 82 85 88 89 91 92 93 95 96 98 99