loading SCIP...
42 1390 true
3 4 7 9 13 20 21 22 27 28 30 34 37 43 44 50 51 53 54 56 59 62 68 71 73 74 75 77 78 79 80 81 82 85 87 88 90 92 94 95 96 98