loading SCIP...
39 3500 true
3 8 14 16 17 20 25 26 29 31 32 33 35 36 38 39 43 44 45 47 49 53 58 63 65 66 67 74 75 76 78 80 81 85 89 90 93 97 99