loading SCIP...
11 36937 true
17 37 48 57 59 75 78 80 81 89 99