loading SCIP...
33 7296 true
2 4 9 10 11 15 17 18 19 20 21 22 32 33 34 39 40 44 46 51 57 58 62 66 73 79 82 86 87 89 90 93 98