loading SCIP...
17 32938 true
19 22 24 26 34 35 38 40 48 50 64 73 76 85 88 93 96