loading SCIP...
12 39718 true
17 19 21 27 31 32 34 43 46 66 75 96