loading SCIP...
45 1360 true
0 1 4 5 7 8 9 10 11 12 15 18 19 23 24 26 29 31 32 33 34 35 38 42 43 44 47 50 51 52 54 57 61 63 64 67 69 73 76 77 78 84 86 90 98