loading SCIP...
33 7297 true
3 9 10 18 20 21 22 29 34 37 38 41 43 44 50 51 53 58 64 66 70 73 74 75 78 79 82 83 87 90 93 94 98