loading SCIP...
17 32344 true
7 12 15 19 30 32 34 43 47 48 50 52 89 90 92 94 98