loading SCIP...
45 844 true
0 1 3 4 5 9 12 14 15 19 20 25 26 27 28 31 32 33 34 37 47 51 53 54 56 58 60 61 62 65 68 69 71 73 78 79 80 81 85 86 87 95 96 97 98