loading SCIP...
13 38156 true
7 18 35 39 42 55 58 72 74 82 83 95 98