loading SCIP...
42 1500 true
0 5 9 10 11 15 17 18 24 25 26 28 31 32 35 37 38 42 44 45 46 47 48 49 51 54 59 61 63 64 67 73 82 83 87 89 92 93 96 97 98 99