loading SCIP...
44 750 true
1 3 4 7 9 10 12 13 15 16 18 21 23 25 26 32 36 37 38 42 43 44 45 47 49 52 55 56 57 61 65 68 69 72 74 78 81 86 88 91 93 94 95 98