loading SCIP...
45 156 true
2 4 8 9 10 11 12 14 15 16 19 20 24 26 28 29 30 31 32 35 36 37 40 41 44 45 46 47 48 53 55 57 62 64 65 66 71 78 81 82 83 89 94 98 99