loading SCIP...
41 2015 true
0 6 10 14 15 19 21 23 24 27 31 32 34 36 37 38 39 42 43 46 47 53 55 56 58 64 65 66 72 74 77 79 80 81 84 85 87 88 90 93 96