loading SCIP...
11 41984 true
29 33 37 44 46 54 56 66 76 77 78