loading SCIP...
11 39469 true
13 18 30 48 59 67 72 74 81 94 98