loading SCIP...
42 1000 true
1 3 4 5 7 8 12 16 17 23 24 27 29 30 35 37 39 42 44 46 47 48 50 51 52 54 56 58 59 64 65 68 69 70 73 76 80 81 88 92 95 99