loading SCIP...
38 3609 true
0 3 7 13 17 18 20 26 30 34 38 39 42 49 50 51 54 55 56 58 61 62 65 67 68 69 72 73 77 78 80 81 85 87 92 93 95 97