loading SCIP...
40 1672 true
1 2 4 5 9 10 16 17 18 19 25 26 27 33 37 40 42 44 46 47 49 51 54 59 61 62 63 64 66 73 78 83 84 87 90 92 94 96 98 99