loading SCIP...
29 11109 true
1 12 13 15 22 26 28 32 34 44 47 49 50 55 58 62 68 70 71 72 73 74 77 79 82 84 86 90 93