loading SCIP...
44 360 true
0 3 10 12 16 17 18 19 22 23 24 26 28 30 32 35 37 41 42 45 47 49 56 58 59 60 63 64 65 71 73 74 75 76 77 79 80 81 82 88 91 94 96 99