loading SCIP...
19 26797 true
11 14 15 19 21 27 30 44 47 62 66 68 79 85 87 90 94 96 99