loading SCIP...
8 38906 true
11 27 28 29 33 61 62 72